variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1453 | 7967 | 44.13 | 44.21 | 12.71 | 11.47 | 11.27 |
---|
zChaff | minisat | SatELite |
5205.43 |
99.9678 |
1007.37 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 44.14 | 44.22 | 12.72 | 11.74 | 11.58 | 0 | 2 | 0 | 2 | 0 | 67602 | 0.105983 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
266.437 |
441.789 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 44.14 | 44.22 | 12.72 | 11.74 | 11.58 | 0 | 2 | 0 | 2 | 0 | 33133 | 0.058991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
275.502 |
446.692 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 44.14 | 44.22 | 12.72 | 11.74 | 11.58 | 0 | 2 | 0 | 2 | 0 | 44325 | 0.082987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
279.381 |
455.455 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 44.14 | 44.22 | 12.72 | 11.74 | 11.58 | 0 | 2 | 0 | 2 | 0 | 27421 | 0.051992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
270.226 |
445.981 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 44.14 | 44.22 | 12.72 | 11.74 | 11.58 | 0 | 2 | 0 | 2 | 0 | 17626 | 0.037994 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
279.554 |
441.055 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 44.14 | 44.22 | 12.72 | 11.74 | 11.58 | 0 | 2 | 0 | 2 | 0 | 11517 | 0.020996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
274.713 |
446.768 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 44.14 | 44.22 | 12.72 | 11.74 | 11.58 | 0 | 2 | 0 | 2 | 0 | 17625 | 0.036994 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
269.465 |
457.972 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 44.14 | 44.22 | 12.72 | 11.74 | 11.58 | 0 | 2 | 0 | 2 | 0 | 11517 | 0.023996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
284.746 |
443.754 |