variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
360 | 4869 | 12.16 | 14.99 | 0.18 | 2.88 | 2.30 |
---|
zChaff | minisat | SatELite |
TimeOut |
691.09 |
5311.65 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 12.17 | 14.98 | 0.18 | 2.96 | 2.40 | 0 | 4 | 0 | 4 | 0 | 31285 | 0.148977 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
703.712 |
5717.75 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 12.17 | 15.00 | 0.18 | 2.96 | 2.40 | 0 | 3 | 0 | 3 | 0 | 27057 | 0.12898 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
736.586 |
5632.58 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 12.17 | 14.98 | 0.18 | 2.96 | 2.40 | 0 | 4 | 0 | 4 | 0 | 31276 | 0.148977 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
705.061 |
5334.23 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 12.17 | 15.00 | 0.18 | 2.96 | 2.40 | 0 | 3 | 0 | 3 | 0 | 27057 | 0.13098 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
693.445 |
5510.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 12.16 | 14.99 | 0.18 | 2.96 | 2.40 | 0 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
691.09 |
5311.65 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 12.16 | 14.99 | 0.18 | 2.96 | 2.40 | 0 | 0 | 0 | 0 | 0 | 0 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
691.09 |
5311.65 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 12.16 | 14.99 | 0.18 | 2.96 | 2.40 | 0 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
691.09 |
5311.65 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 12.16 | 14.99 | 0.18 | 2.96 | 2.40 | 0 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
691.09 |
5311.65 |