variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
134650 | 529456 | 81.14 | 77.25 | 77.25 | 7.54 | 8.94 |
---|
zChaff | minisat | SatELite |
0.13198 |
0.419936 |
14.6818 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 80.07 | 75.73 | 75.60 | 8.02 | 9.69 | 4 | 41074 | 8 | 41074 | 8 | 59362824 | 43.8843 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
58.2891 |
102.685 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 81.61 | 77.25 | 77.33 | 7.35 | 9.20 | 0 | 3044 | 1 | 3044 | 1 | 11142146 | 8.72267 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1554.57 |
17.8963 |
167.456 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 81.31 | 77.35 | 77.44 | 7.68 | 9.17 | 0 | 1315 | 0 | 1315 | 0 | 7592802 | 6.39103 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5078.23 |
2.01969 |
17.0804 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 81.32 | 77.33 | 77.41 | 7.68 | 9.17 | 0 | 1141 | 0 | 1141 | 0 | 5931329 | 4.49132 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3347.35 |
2.02969 |
17.2424 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 81.18 | 77.06 | 76.93 | 7.57 | 9.17 | 1 | 12935 | 2 | 12935 | 2 | 38523683 | 29.8465 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4675.8 |
21.1178 |
37.8522 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 81.61 | 77.25 | 77.33 | 7.35 | 9.20 | 0 | 3044 | 1 | 3044 | 1 | 11142140 | 9.31358 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1513.16 |
16.4745 |
183.841 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 81.31 | 77.35 | 77.44 | 7.68 | 9.17 | 0 | 1315 | 0 | 1315 | 0 | 7592802 | 6.52801 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5106.74 |
1.86572 |
17.2184 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 81.32 | 77.33 | 77.41 | 7.68 | 9.17 | 0 | 1141 | 0 | 1141 | 0 | 5931329 | 4.99624 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3327.56 |
1.85172 |
17.8083 |