variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1437 | 29170 | 99.09 | 9.47 | 99.09 | 0.00 | 90.53 |
---|
zChaff | minisat | SatELite |
0.009998 |
0.021996 |
0.85287 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 99.01 | 10.23 | 99.01 | 0.07 | 89.77 | 0 | 2201 | 8 | 2201 | 8 | 6531756 | 1.69174 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.030995 |
0.019996 |
0.820875 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 99.09 | 9.47 | 99.09 | 0.07 | 90.53 | 0 | 0 | 0 | 0 | 0 | 1687 | 0.010998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.021996 |
0.85287 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 99.09 | 9.47 | 99.09 | 0.07 | 90.53 | 0 | 0 | 0 | 0 | 0 | 1687 | 0.013997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.021996 |
0.85287 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 99.09 | 9.47 | 99.09 | 0.07 | 90.53 | 0 | 0 | 0 | 0 | 0 | 1687 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.021996 |
0.85287 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 99.08 | 9.56 | 99.08 | 0.07 | 90.44 | 0 | 287 | 1 | 287 | 1 | 182261 | 0.06199 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.033994 |
0.021996 |
0.830873 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 99.09 | 9.47 | 99.09 | 0.07 | 90.53 | 0 | 0 | 0 | 0 | 0 | 1687 | 0.011998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.021996 |
0.85287 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 99.09 | 9.47 | 99.09 | 0.07 | 90.53 | 0 | 0 | 0 | 0 | 0 | 1687 | 0.015997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.021996 |
0.85287 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 99.09 | 9.47 | 99.09 | 0.07 | 90.53 | 0 | 0 | 0 | 0 | 0 | 1687 | 0.008998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.021996 |
0.85287 |