qwh.40.528.shuffled-as.sat03-1652.cnf

variables clauses Horn % ReverseHorn % Binaire % Pos % Neg %
25111890668.7973.1592.6125.8021.26


zChaff minisat SatELite
TimeOut 3839.78 5808

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc68.6273.0792.4425.8421.210517 3517 36745890.468928UNKNOWN

zChaff minisat SatELite
TimeOut 4595.23 5510.16

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn68.5873.6792.5725.9820.720132 1132 11638100.118981UNKNOWN

zChaff minisat SatELite
3317.95 697.233 2069.78

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb68.8073.1692.6425.8021.2706 06 0128030.022996UNKNOWN

zChaff minisat SatELite
TimeOut 6051.47 9608.25

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb68.7973.1692.6325.8121.2603 03 0102040.012998UNKNOWN

zChaff minisat SatELite
TimeOut 4611.11 332.453

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw68.8173.1592.6225.7821.26056 056 0616550.053991UNKNOWN

zChaff minisat SatELite
TimeOut 1601.97 7232.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn68.7773.2192.6225.8221.21016 016 0202840.021996UNKNOWN

zChaff minisat SatELite
TimeOut 239.739 1589.67

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb68.8073.1692.6425.8021.2706 06 0128030.017997UNKNOWN

zChaff minisat SatELite
TimeOut 6145.97 9937.68

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb68.7973.1692.6325.8121.2603 03 0102040.013997UNKNOWN

zChaff minisat SatELite
TimeOut 4630.88 324.017