driverlog2_v01i.shuffled-as.sat05-4029.cnf

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


zChaff minisat SatELite
0.007999 0.013997 0.177972

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc70.5873.0994.0225.1422.54020591320591320713181.63875UNKNOWN

zChaff minisat SatELite
0.005999 0.009998 0.225965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn68.7177.5094.0727.0118.250957 6957 65779440.569913UNKNOWN

zChaff minisat SatELite
0.007998 0.015997 0.243962

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb70.4973.7694.7025.7222.380206 1206 11201660.116982UNKNOWN

zChaff minisat SatELite
0.008997 0.016997 0.227965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb70.3573.8194.5925.7222.360186 1186 1954020.094985UNKNOWN

zChaff minisat SatELite
0.004999 0.014997 0.246962

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw70.6873.6894.6625.5022.420334 2334 21780380.162975UNKNOWN

zChaff minisat SatELite
0.009998 0.008998 0.223965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn70.3173.9294.5825.7622.250209 1209 11058050.103984UNKNOWN

zChaff minisat SatELite
0.005 0.011998 0.241963

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb70.4973.7694.7025.7222.380206 1206 11201660.117982UNKNOWN

zChaff minisat SatELite
0.009999 0.016997 0.228965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb70.3573.8194.5925.7222.360186 1186 1954020.083987UNKNOWN

zChaff minisat SatELite
0.004 0.015997 0.244962