variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
512 | 9685 | 98.02 | 2.86 | 56.39 | 1.98 | 55.51 |
---|
zChaff | minisat | SatELite |
0.120982 |
0.031995 |
0.32695 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 97.14 | 4.04 | 71.58 | 2.98 | 70.72 | 0 | 3083 | 32 | 3083 | 32 | 415470 | 0.302953 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.097985 |
0.029995 |
0.223965 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 98.05 | 2.83 | 56.40 | 2.03 | 55.74 | 0 | 3 | 0 | 3 | 0 | 1704 | 0.005999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.120981 |
0.029995 |
0.32395 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 97.42 | 3.73 | 74.43 | 2.69 | 73.56 | 0 | 2348 | 24 | 2348 | 24 | 182434 | 0.150977 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.105985 |
0.027995 |
0.188971 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 98.05 | 2.83 | 56.40 | 2.03 | 55.74 | 0 | 3 | 0 | 3 | 0 | 1704 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.119982 |
0.029995 |
0.320951 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 97.26 | 3.87 | 72.80 | 2.86 | 71.97 | 0 | 2789 | 29 | 2789 | 29 | 245385 | 0.19297 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.115982 |
0.029995 |
0.184971 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 98.05 | 2.83 | 56.40 | 2.03 | 55.74 | 0 | 3 | 0 | 3 | 0 | 1704 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.120981 |
0.028995 |
0.321951 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 97.42 | 3.73 | 74.43 | 2.69 | 73.56 | 0 | 2348 | 24 | 2348 | 24 | 182434 | 0.151976 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.106983 |
0.027995 |
0.187971 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 98.05 | 2.83 | 56.40 | 2.03 | 55.74 | 0 | 3 | 0 | 3 | 0 | 1704 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.127981 |
0.030995 |
0.32295 |