variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
2473 | 19476 | 37.28 | 36.20 | 11.50 | 9.64 | 10.04 |
---|
zChaff | minisat | SatELite |
0.034993 |
0.161975 |
1.85872 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 21.06 | 21.07 | 7.66 | 6.07 | 6.11 | 832 | 9569 | 49 | 9569 | 49 | 408361 | 6.53901 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.13198 |
0.047992 |
1.78973 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 51.18 | 13.29 | 12.88 | 3.09 | 14.27 | 832 | 5288 | 27 | 5288 | 27 | 271100 | 6.52501 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.103984 |
0.046992 |
1.78773 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 27.87 | 27.86 | 19.66 | 8.76 | 8.82 | 832 | 8089 | 42 | 8089 | 42 | 318008 | 6.562 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.021997 |
0.06399 |
1.69274 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 49.74 | 15.73 | 15.34 | 5.82 | 13.86 | 832 | 4877 | 25 | 4877 | 25 | 248650 | 6.47102 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.046993 |
0.046992 |
1.9547 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 21.85 | 21.96 | 9.36 | 6.57 | 6.55 | 832 | 9321 | 48 | 9321 | 48 | 284163 | 1.80573 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.036994 |
0.05999 |
1.73673 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 50.75 | 13.69 | 13.24 | 3.52 | 14.15 | 832 | 5169 | 27 | 5169 | 27 | 141959 | 1.61975 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.088986 |
0.044993 |
1.76973 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 27.75 | 27.78 | 19.57 | 8.72 | 8.77 | 832 | 8033 | 41 | 8033 | 41 | 192708 | 1.71574 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.098985 |
0.06199 |
1.70874 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 49.56 | 15.72 | 15.28 | 5.79 | 13.81 | 832 | 4824 | 25 | 4824 | 25 | 123840 | 1.58976 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.039994 |
0.045993 |
1.83072 |