Combinatorische explosie in PPL.
Parameters Combinatorische waarden
(1)

Val


Waarheids- waarden (ariteit)
(2)

Atm


Unieke items (atomen)
(3)

Row


Patroon lengte (tekens)
(4)

Col


Logische relaties (formules)
(5)

Tup


Combinaties van 2 formules
(6)

Imp


Valide implicaties (aantal)
(7)

Imp.Ppt


Valide implicaties (ppt.)
10
1
1.000000000000
·(10 001 [ 1])
1.000000000000
·(10 010 [ 2])
1.000000000000
·(10 020 [ 2])
2.593742460100
·(10 010 [ 2])
2.593742460619
·(10 -010 [ 2])
10
2
1.000000000000
·(10 002 [ 1])
1.000000000000
·(10 100 [ 3])
1.000000000000
·(10 200 [ 3])
1.378061233982
·(10 104 [ 3])
1.378061233982
·(10 -096 [ 2])
10
3
1.000000000000
·(10 003 [ 1])
1.000000000000
·(10 001 000 [ 4])
1.000000000000
·(10 002 000 [ 4])
2.469932918007
·(10 001 041 [ 4])
2.469932918007
·(10 -959 [ 3])
10
4
1.000000000000
·(10 004 [ 1])
1.000000000000
·(10 010 000 [ 5])
1.000000000000
·(10 020 000 [ 5])
8.449900251231
·(10 010 413 [ 5])
8.449900251231
·(10 -009 587 [ 4])
10
5
1.000000000000
·(10 005 [ 1])
1.000000000000
·(10 100 000 [ 6])
1.000000000000
·(10 200 000 [ 6])
1.855734417615
·(10 104 139 [ 6])
1.855734417615
·(10 -095 861 [ 5])
10
6
1.000000000000
·(10 006 [ 1])
1.000000000000
·(10 001 000 000 [ 7])
1.000000000000
·(10 002 000 000 [ 7])
4.843487967809
·(10 001 041 392 [ 7])
4.843487967809
·(10 -958 608 [ 6])
10
7
1.000000000000
·(10 007 [ 1])
1.000000000000
·(10 010 000 000 [ 8])
1.000000000000
·(10 020 000 000 [ 8])
7.105297260693
·(10 010 413 926 [ 8])
7.105297260693
·(10 -009 586 074 [ 7])
10
8
1.000000000000
·(10 008 [ 1])
1.000000000000
·(10 100 000 000 [ 9])
1.000000000000
·(10 200 000 000 [ 9])
3.279612401643
·(10 104 139 268 [ 9])
3.279612401643
·(10 -095 860 732 [ 8])
10
9
1.000000000000
·(10 009 [ 1])
1.000000000000
·(10 001 000 000 000 [ 10])
1.000000000000
·(10 002 000 000 000 [ 10])
1.439544849452
·(10 001 041 392 685 [ 10])
1.439544849452
·(10 -958 607 315 [ 9])
10
10
1.000000000000
·(10 010 [ 2])
1.000000000000
·(10 010 000 000 000 [ 11])
1.000000000000
·(10 020 000 000 000 [ 11])
3.821659588657
·(10 010 413 926 851 [ 11])
3.821659588657
·(10 -009 586 073 149 [ 10])
10
100
1.000000000000
·(10 100 [ 3])
1.000000000000
·(10 010 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 101])
1.000000000000
·(10 020 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 101])
1.000000000000
·(10 010 413 926 851 582 252 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 101])
1.000000000000
·(10 -009 586 073 148 417 748 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 100])
10
1000
1.000000000000
·(10 001 000 [ 4])
1.000000000000
·(10 010 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 1001])
1.000000000000
·(10 020 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 1001])
1.000000000000
·(10 010 413 926 851 582 252 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 1001])
1.000000000000
·(10 -009 586 073 148 417 748 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 1000])