4pipe_2_ooo.shuffled.cnf

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


zChaff minisat SatELite
14.4068 86.0629 367.607

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

zChaff minisat SatELite
14.7338 45.6351 435.887

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn72.6063.8876.3016.5024.6503307 43307 4852741620.9348UNKNOWN

zChaff minisat SatELite
11.1253 67.4707 2600.3

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb69.9265.2277.1819.6023.740279 0279 018123224.26135UNKNOWN

zChaff minisat SatELite
12.5761 108.067 1599

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb69.9265.2277.1819.5923.740276 0276 014812263.9334UNKNOWN

zChaff minisat SatELite
12.3971 112.81 5318.17

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw69.8065.1876.9319.5923.6701140 11140 129667496.77397UNKNOWN

zChaff minisat SatELite
11.1923 299.914 669.055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn70.0665.1577.1219.4223.790443 1443 116137314.24435UNKNOWN

zChaff minisat SatELite
12.7211 93.3308 1052.74

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb69.9165.2377.1719.6023.730267 0267 015659273.72743UNKNOWN

zChaff minisat SatELite
12.3021 183.362 1190.05

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb69.9165.2377.1719.6023.730266 0266 013423763.58345UNKNOWN

zChaff minisat SatELite
12.2411 182.832 1199.86