variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
19256 | 74434 | 81.87 | 78.43 | 77.93 | 7.09 | 8.44 |
---|
zChaff | minisat | SatELite |
0.173973 |
0.140978 |
1.62475 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 80.86 | 77.06 | 76.33 | 8.30 | 10.48 | 4 | 5674 | 8 | 5674 | 8 | 6399636 | 3.88141 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.215967 |
0.121981 |
1.85072 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 82.32 | 78.41 | 77.98 | 7.63 | 10.00 | 0 | 408 | 1 | 408 | 1 | 1198576 | 0.702893 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.045993 |
0.155976 |
1.65375 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 82.00 | 78.52 | 78.09 | 7.98 | 9.96 | 0 | 153 | 0 | 153 | 0 | 734497 | 0.533918 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.040994 |
0.132979 |
1.58376 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 82.01 | 78.49 | 78.06 | 7.98 | 9.96 | 0 | 127 | 0 | 127 | 0 | 583327 | 0.381941 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.040994 |
0.134979 |
1.69174 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 81.91 | 78.29 | 77.60 | 7.84 | 9.94 | 1 | 1763 | 2 | 1763 | 2 | 3790810 | 2.39064 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.113983 |
0.13098 |
1.53277 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 82.32 | 78.41 | 77.98 | 7.63 | 10.00 | 0 | 408 | 1 | 408 | 1 | 1198570 | 0.743886 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.042994 |
0.161975 |
1.67175 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 82.00 | 78.52 | 78.09 | 7.98 | 9.96 | 0 | 153 | 0 | 153 | 0 | 734497 | 0.546916 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.040993 |
0.135979 |
1.58476 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 82.01 | 78.49 | 78.06 | 7.98 | 9.96 | 0 | 127 | 0 | 127 | 0 | 583327 | 0.387941 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.041993 |
0.135979 |
1.81272 |