okgen-c1600-v400-s2100804521-2100804521.cnf

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


zChaff minisat SatELite
0.089986 9.8545 131.198

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc51.1948.810.0013.5013.8100 00 048700.006998UNKNOWN

zChaff minisat SatELite
0.089986 9.8545 131.198

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn51.1948.810.0013.5013.8100 00 023820.003999UNKNOWN

zChaff minisat SatELite
0.089986 9.8545 131.198

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb51.1948.810.0013.5013.8100 00 048700.008998UNKNOWN

zChaff minisat SatELite
0.089986 9.8545 131.198

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb51.1948.810.0013.5013.8100 00 023820.003999UNKNOWN

zChaff minisat SatELite
0.089986 9.8545 131.198

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw51.1948.810.0013.5013.8100 00 000.002999UNKNOWN

zChaff minisat SatELite
0.089986 9.8545 131.198

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn51.1948.810.0013.5013.8100 00 000.002999UNKNOWN

zChaff minisat SatELite
0.089986 9.8545 131.198

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb51.1948.810.0013.5013.8100 00 000.001999UNKNOWN

zChaff minisat SatELite
0.089986 9.8545 131.198

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb51.1948.810.0013.5013.8100 00 000.000999UNKNOWN

zChaff minisat SatELite
0.089986 9.8545 131.198