variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
3600 | 10681 | 66.16 | 66.27 | 65.16 | 20.92 | 20.55 |
---|
zChaff | minisat | SatELite |
0.610907 |
0.280957 |
1.21582 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 64.63 | 64.63 | 59.71 | 20.43 | 20.13 | 0 | 1445 | 14 | 1445 | 14 | 5813387 | 3.2705 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.747887 |
0.290955 |
1.18782 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 65.00 | 68.54 | 63.97 | 21.63 | 17.83 | 0 | 354 | 3 | 354 | 3 | 1972979 | 1.11383 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.616906 |
0.400939 |
1.05584 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 66.16 | 66.27 | 65.16 | 20.92 | 20.55 | 0 | 0 | 0 | 0 | 0 | 2202823 | 1.26481 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.610907 |
0.280957 |
1.21582 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 66.16 | 66.27 | 65.16 | 20.92 | 20.55 | 0 | 0 | 0 | 0 | 0 | 1069630 | 0.623905 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.610907 |
0.280957 |
1.21582 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 64.80 | 64.79 | 60.31 | 20.48 | 20.19 | 0 | 1306 | 12 | 1306 | 12 | 5432905 | 3.03854 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.718891 |
0.315951 |
1.10683 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 65.13 | 68.30 | 64.09 | 21.56 | 18.11 | 0 | 318 | 3 | 318 | 3 | 1870944 | 1.05884 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.594909 |
0.373943 |
1.13883 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 66.16 | 66.27 | 65.16 | 20.92 | 20.55 | 0 | 0 | 0 | 0 | 0 | 2164264 | 1.20182 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.610907 |
0.280957 |
1.21582 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 66.16 | 66.27 | 65.16 | 20.92 | 20.55 | 0 | 0 | 0 | 0 | 0 | 1053218 | 0.565913 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.610907 |
0.280957 |
1.21582 |