php-025-025.shuffled-as.sat05-1163.cnf

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


zChaff minisat SatELite
0.001 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc73.3375.4099.6726.3424.2700 00 01881250.073988UNKNOWN

zChaff minisat SatELite
0.001 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn73.3375.4099.6726.3424.2700 00 0462750.018997UNKNOWN

zChaff minisat SatELite
0.001 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb73.3375.4099.6726.3424.2700 00 06250.002999UNKNOWN

zChaff minisat SatELite
0.001 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb73.3375.4099.6726.3424.2700 00 06250.002999UNKNOWN

zChaff minisat SatELite
0.001 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw73.3375.4099.6726.3424.2700 00 06250.005999UNKNOWN

zChaff minisat SatELite
0.001 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn73.3375.4099.6726.3424.2700 00 06250.003999UNKNOWN

zChaff minisat SatELite
0.001 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb73.3375.4099.6726.3424.2700 00 06250.005999UNKNOWN

zChaff minisat SatELite
0.001 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb73.3375.4099.6726.3424.2700 00 06250.002999UNKNOWN

zChaff minisat SatELite
0.001 TimeOut TimeOut