ii16c2.cnf

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


zChaff minisat SatELite
0.008999 0.031995 0.218966

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc98.0994.2092.761.915.8008 08 015830001.47877UNKNOWN

zChaff minisat SatELite
0.008998 0.033994 0.242963

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn98.0994.1892.731.915.8200 00 0136600.008998UNKNOWN

zChaff minisat SatELite
0.008999 0.031995 0.218966

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb98.0994.2092.761.915.8004 04 0204560.097985UNKNOWN

zChaff minisat SatELite
0.008998 0.032994 0.218966

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb98.0994.1892.731.915.8200 00 07960.002999UNKNOWN

zChaff minisat SatELite
0.008999 0.031995 0.218966

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw98.0994.2092.761.915.8004 04 0204560.102984UNKNOWN

zChaff minisat SatELite
0.008999 0.031995 0.218966

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn98.0994.1892.731.915.8200 00 07960.006998UNKNOWN

zChaff minisat SatELite
0.008999 0.031995 0.218966

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb98.0994.2092.761.915.8004 04 0204560.094985UNKNOWN

zChaff minisat SatELite
0.008998 0.032994 0.230964

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb98.0994.1892.731.915.8200 00 07960.003999UNKNOWN

zChaff minisat SatELite
0.008999 0.031995 0.218966