| 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 |