variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
27483 | 140115 | 81.02 | 78.96 | 76.87 | 9.27 | 5.92 |
---|
zChaff | minisat | SatELite |
5.2742 |
128.874 |
34.7667 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 81.03 | 77.71 | 75.17 | 8.55 | 6.20 | 0 | 9560 | 7 | 9560 | 7 | 18497242 | 14.7898 | UNKNOWN |
---|
zChaff | minisat | SatELite |
51.6801 |
183.574 |
33.2169 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 82.16 | 78.66 | 76.54 | 8.00 | 6.13 | 0 | 1948 | 1 | 1948 | 1 | 2869071 | 2.15267 | UNKNOWN |
---|
zChaff | minisat | SatELite |
53.1069 |
6.27205 |
56.2385 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 81.02 | 78.96 | 76.87 | 9.28 | 6.05 | 0 | 0 | 0 | 0 | 0 | 1885825 | 1.53677 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5.2742 |
128.874 |
34.7667 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 81.02 | 78.96 | 76.87 | 9.28 | 6.05 | 0 | 0 | 0 | 0 | 0 | 1379156 | 1.10483 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5.2742 |
128.874 |
34.7667 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 81.77 | 78.58 | 76.04 | 8.17 | 5.89 | 0 | 4824 | 3 | 4824 | 3 | 7885153 | 6.18306 | UNKNOWN |
---|
zChaff | minisat | SatELite |
7.8898 |
74.9846 |
73.9898 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 82.15 | 78.66 | 76.54 | 8.00 | 6.13 | 0 | 1936 | 1 | 1936 | 1 | 2837086 | 2.14967 | UNKNOWN |
---|
zChaff | minisat | SatELite |
24.7512 |
6.37903 |
55.1256 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 81.02 | 78.96 | 76.87 | 9.28 | 6.05 | 0 | 0 | 0 | 0 | 0 | 1854398 | 1.50077 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5.2742 |
128.874 |
34.7667 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 81.02 | 78.96 | 76.87 | 9.28 | 6.05 | 0 | 0 | 0 | 0 | 0 | 1366491 | 1.09783 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5.2742 |
128.874 |
34.7667 |