variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1393 | 3434 | 71.93 | 77.81 | 73.30 | 23.91 | 19.74 |
---|
zChaff | minisat | SatELite |
0.003 |
0.004999 |
0.072988 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 75.03 | 79.68 | 78.97 | 21.40 | 17.96 | 2 | 467 | 14 | 467 | 14 | 158642 | 0.047992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.005999 |
0.068989 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 70.81 | 81.59 | 75.48 | 25.19 | 16.34 | 2 | 159 | 5 | 159 | 5 | 44969 | 0.017997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.001999 |
0.077988 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 75.14 | 79.50 | 80.13 | 21.52 | 18.27 | 2 | 293 | 9 | 293 | 9 | 60951 | 0.020996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.003999 |
0.070989 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 71.20 | 80.48 | 75.81 | 24.85 | 17.47 | 2 | 114 | 3 | 114 | 3 | 26953 | 0.010998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.003999 |
0.075988 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 74.54 | 79.75 | 78.42 | 21.88 | 17.91 | 0 | 441 | 13 | 441 | 13 | 149740 | 0.046992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.001999 |
0.067989 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 70.84 | 81.51 | 75.41 | 25.17 | 16.41 | 0 | 156 | 5 | 156 | 5 | 44338 | 0.015997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.004999 |
0.070989 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 74.71 | 79.54 | 79.58 | 21.91 | 18.24 | 0 | 271 | 8 | 271 | 8 | 57910 | 0.019996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.003999 |
0.075988 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 71.23 | 80.41 | 75.74 | 24.83 | 17.54 | 0 | 111 | 3 | 111 | 3 | 26449 | 0.012998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.003999 |
0.077988 |