variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
194762 | 530713 | 68.91 | 68.89 | 77.67 | 21.75 | 21.78 |
---|
zChaff | minisat | SatELite |
330.193 |
273.615 |
146.175 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 68.91 | 68.89 | 77.67 | 22.17 | 22.21 | 0 | 3 | 0 | 3 | 0 | 53777685 | 106.092 | UNKNOWN |
---|
zChaff | minisat | SatELite |
586.293 |
283.552 |
147.692 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 68.91 | 68.89 | 77.67 | 22.17 | 22.21 | 0 | 0 | 0 | 0 | 0 | 15936878 | 30.7313 | UNKNOWN |
---|
zChaff | minisat | SatELite |
330.193 |
273.615 |
146.175 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 68.91 | 68.89 | 77.67 | 22.17 | 22.21 | 0 | 0 | 0 | 0 | 0 | 8827094 | 17.4993 | UNKNOWN |
---|
zChaff | minisat | SatELite |
330.193 |
273.615 |
146.175 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 68.91 | 68.89 | 77.67 | 22.17 | 22.21 | 0 | 0 | 0 | 0 | 0 | 4968553 | 9.97048 | UNKNOWN |
---|
zChaff | minisat | SatELite |
330.193 |
273.615 |
146.175 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 68.91 | 68.89 | 77.67 | 22.17 | 22.21 | 0 | 3 | 0 | 3 | 0 | 51784729 | 97.7311 | UNKNOWN |
---|
zChaff | minisat | SatELite |
534.797 |
270.086 |
141.335 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 68.91 | 68.89 | 77.67 | 22.17 | 22.21 | 0 | 0 | 0 | 0 | 0 | 15440352 | 29.5435 | UNKNOWN |
---|
zChaff | minisat | SatELite |
330.193 |
273.615 |
146.175 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 68.91 | 68.89 | 77.67 | 22.17 | 22.21 | 0 | 0 | 0 | 0 | 0 | 8827094 | 18.8821 | UNKNOWN |
---|
zChaff | minisat | SatELite |
330.193 |
273.615 |
146.175 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 68.91 | 68.89 | 77.67 | 22.17 | 22.21 | 0 | 0 | 0 | 0 | 0 | 4968553 | 10.1924 | UNKNOWN |
---|
zChaff | minisat | SatELite |
330.193 |
273.615 |
146.175 |