variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1100 | 4103 | 49.11 | 50.89 | 0.00 | 12.41 | 12.04 |
---|
zChaff | minisat | SatELite |
33.7779 |
5.73513 |
18.1952 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 49.19 | 50.81 | 0.00 | 12.41 | 12.11 | 12 | 66 | 2 | 66 | 2 | 14364 | 0.014997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
33.9358 |
4.5833 |
20.6729 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 48.74 | 51.26 | 0.00 | 12.50 | 12.01 | 12 | 30 | 1 | 30 | 1 | 7026 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
33.2929 |
4.81027 |
28.3337 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 49.19 | 50.81 | 0.00 | 12.41 | 12.11 | 12 | 66 | 2 | 66 | 2 | 14364 | 0.015997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
35.2316 |
4.6003 |
20.8938 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 48.74 | 51.26 | 0.00 | 12.50 | 12.01 | 12 | 30 | 1 | 30 | 1 | 7026 | 0.008998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
32.911 |
4.49332 |
31.0263 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 49.11 | 50.89 | 0.00 | 12.41 | 12.04 | 12 | 0 | 0 | 0 | 0 | 0 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
33.7779 |
5.73513 |
18.1952 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 49.11 | 50.89 | 0.00 | 12.41 | 12.04 | 12 | 0 | 0 | 0 | 0 | 0 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
33.7779 |
5.73513 |
18.1952 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 49.11 | 50.89 | 0.00 | 12.41 | 12.04 | 12 | 0 | 0 | 0 | 0 | 0 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
33.7779 |
5.73513 |
18.1952 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 49.11 | 50.89 | 0.00 | 12.41 | 12.04 | 12 | 0 | 0 | 0 | 0 | 0 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
33.7779 |
5.73513 |
18.1952 |