variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
312 | 1833 | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 | 0 | 0 | 0 | 0 | 0 | 23400 | 0.013997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 | 0 | 0 | 0 | 0 | 0 | 8341 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 | 0 | 0 | 0 | 0 | 0 | 4264 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 | 0 | 0 | 0 | 0 | 0 | 3970 | 0.005999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 | 0 | 0 | 0 | 0 | 0 | 4264 | 0.005999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 | 0 | 0 | 0 | 0 | 0 | 3970 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 | 0 | 0 | 0 | 0 | 0 | 4264 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 68.19 | 64.98 | 87.94 | 20.57 | 22.97 | 0 | 0 | 0 | 0 | 0 | 3970 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.943857 |
TimeOut |
TimeOut |