variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
53697 | 159595 | 80.27 | 70.52 | 66.67 | 5.52 | 15.72 |
---|
zChaff | minisat | SatELite |
471.411 |
166.602 |
164.103 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 80.11 | 70.84 | 66.54 | 5.59 | 15.44 | 0 | 2646 | 2 | 2646 | 2 | 21661943 | 10.1025 | UNKNOWN |
---|
zChaff | minisat | SatELite |
532.525 |
217.261 |
203.802 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 80.41 | 70.47 | 66.78 | 5.51 | 15.75 | 0 | 269 | 0 | 269 | 0 | 2690766 | 1.44678 | UNKNOWN |
---|
zChaff | minisat | SatELite |
551.354 |
163.33 |
371.361 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 80.36 | 70.66 | 66.95 | 5.52 | 15.79 | 0 | 678 | 0 | 678 | 0 | 6135730 | 3.08953 | UNKNOWN |
---|
zChaff | minisat | SatELite |
517.358 |
173.807 |
215.832 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 80.41 | 70.47 | 66.78 | 5.51 | 15.75 | 0 | 269 | 0 | 269 | 0 | 2668614 | 1.42078 | UNKNOWN |
---|
zChaff | minisat | SatELite |
547.669 |
173.95 |
381.367 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 80.17 | 70.91 | 66.63 | 5.57 | 15.40 | 0 | 2219 | 1 | 2219 | 1 | 17194740 | 8.14376 | UNKNOWN |
---|
zChaff | minisat | SatELite |
482.152 |
206.137 |
176.271 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 80.41 | 70.47 | 66.78 | 5.51 | 15.75 | 0 | 269 | 0 | 269 | 0 | 2690446 | 1.45678 | UNKNOWN |
---|
zChaff | minisat | SatELite |
518.69 |
167.914 |
372.064 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 80.36 | 70.66 | 66.95 | 5.52 | 15.79 | 0 | 678 | 0 | 678 | 0 | 6135730 | 2.84957 | UNKNOWN |
---|
zChaff | minisat | SatELite |
504.99 |
180.679 |
218.172 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 80.41 | 70.47 | 66.78 | 5.51 | 15.75 | 0 | 269 | 0 | 269 | 0 | 2668614 | 1.38679 | UNKNOWN |
---|
zChaff | minisat | SatELite |
557.799 |
164.105 |
378.448 |