variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
258 | 4366 | 89.92 | 12.76 | 89.92 | 0.07 | 87.24 |
---|
zChaff | minisat | SatELite |
0 |
0.002999 |
0.086986 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 91.28 | 13.37 | 91.28 | 0.12 | 86.63 | 0 | 1957 | 45 | 1957 | 45 | 323353 | 0.219966 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.000999 |
0.085986 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 93.25 | 9.52 | 93.25 | 0.07 | 90.48 | 0 | 156 | 4 | 156 | 4 | 32770 | 0.031995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.003999 |
0.136979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 94.92 | 7.91 | 94.92 | 0.07 | 92.09 | 0 | 230 | 5 | 230 | 5 | 36245 | 0.032994 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.160975 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 93.25 | 9.52 | 93.25 | 0.07 | 90.48 | 0 | 156 | 4 | 156 | 4 | 32770 | 0.031995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.139978 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 94.76 | 8.04 | 94.76 | 0.07 | 91.96 | 0 | 360 | 8 | 360 | 8 | 64655 | 0.049992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.161975 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 93.25 | 9.52 | 93.25 | 0.07 | 90.48 | 0 | 156 | 4 | 156 | 4 | 32770 | 0.030995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.004999 |
0.137979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 94.92 | 7.91 | 94.92 | 0.07 | 92.09 | 0 | 230 | 5 | 230 | 5 | 36245 | 0.030995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.005999 |
0.172973 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 93.25 | 9.52 | 93.25 | 0.07 | 90.48 | 0 | 156 | 4 | 156 | 4 | 32770 | 0.029995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.003999 |
0.143978 |