Instances of family renHorn solved by yQuaffle
QBFEVAL'05

InstanceResultTime
renHorn_400CNF1640_2aQBF_79SAT0.02
renHorn_400CNF1480_2aQBF_96SAT0.02
renHorn_400CNF2120_2aQBF_84SAT0.03
renHorn_400CNF2120_2aQBF_88SAT0.03
renHorn_400CNF2040_2aQBF_11SAT0.03
renHorn_400CNF1480_2aQBF_99SAT0.03
renHorn_400CNF1720_2aQBF_71SAT0.03
renHorn_400CNF1480_2aQBF_92SAT0.03
renHorn_400CNF1480_2aQBF_62SAT0.04
renHorn_400CNF1960_2aQBF_79SAT0.05
renHorn_400CNF2120_2aQBF_21SAT0.05
renHorn_400CNF2040_2aQBF_100SAT0.06
renHorn_400CNF1560_2aQBF_28UNSAT0.07
renHorn_400CNF1280_2aQBF_7SAT0.07
renHorn_400CNF1640_2aQBF_18SAT0.1
renHorn_400CNF1880_2aQBF_88SAT0.12
renHorn_400CNF1800_2aQBF_5SAT0.12
renHorn_400CNF1720_2aQBF_11SAT0.12
renHorn_400CNF2120_2aQBF_10SAT0.13
renHorn_400CNF2200_2aQBF_22SAT0.13
renHorn_400CNF1880_2aQBF_19SAT0.13
renHorn_400CNF1800_2aQBF_24SAT0.13
renHorn_400CNF2200_2aQBF_79SAT0.14
renHorn_400CNF2360_2aQBF_97SAT0.15
renHorn_400CNF2280_2aQBF_4SAT0.17
renHorn_400CNF1720_2aQBF_92SAT0.69
renHorn_400CNF1960_2aQBF_41SAT0.9
renHorn_400CNF1200_2aQBF_79UNSAT0.93
renHorn_400CNF1560_2aQBF_72SAT0.96
renHorn_400CNF2280_2aQBF_67UNSAT1.04
renHorn_400CNF2040_2aQBF_86SAT1.06
renHorn_400CNF2360_2aQBF_88SAT1.12
renHorn_400CNF2120_2aQBF_37SAT1.2
renHorn_400CNF2280_2aQBF_59SAT1.21
renHorn_400CNF1560_2aQBF_96SAT1.26
renHorn_400CNF1720_2aQBF_20UNSAT1.36
renHorn_400CNF1280_2aQBF_3SAT3.15
renHorn_400CNF1480_2aQBF_98FAIL3.55
renHorn_400CNF1200_2aQBF_85SAT3.62
renHorn_400CNF1960_2aQBF_76UNSAT3.89
renHorn_400CNF1200_2aQBF_28UNSAT4.11
renHorn_400CNF2120_2aQBF_31SAT6.16
renHorn_400CNF1200_2aQBF_8UNSAT9.78
renHorn_400CNF1800_2aQBF_53UNSAT16.26
renHorn_400CNF1400_2aQBF_80SAT20.8
renHorn_400CNF2120_2aQBF_52SAT22.35
renHorn_400CNF2120_2aQBF_63SAT43.13
renHorn_400CNF2360_2aQBF_9SAT48.64
renHorn_400CNF2120_2aQBF_19SAT73.92
renHorn_400CNF1640_2aQBF_42FAIL158.08
renHorn_400CNF1800_2aQBF_36UNSAT158.13
renHorn_400CNF2200_2aQBF_48SAT159.97
renHorn_400CNF1280_2aQBF_62SAT181.92
renHorn_400CNF2280_2aQBF_13SAT235.52
renHorn_400CNF1280_2aQBF_56UNSAT235.82
renHorn_400CNF1560_2aQBF_90UNSAT383.61
renHorn_400CNF1360_2aQBF_22SAT403.82
renHorn_400CNF1280_2aQBF_22UNSAT415.23
renHorn_400CNF1480_2aQBF_85UNSAT473.4
renHorn_400CNF1960_2aQBF_50UNSAT618.63
renHorn_400CNF1560_2aQBF_2FAIL886.93
renHorn_400CNF2360_2aQBF_58FAIL887.2
renHorn_400CNF1640_2aQBF_53FAIL887.36
renHorn_400CNF1880_2aQBF_81FAIL887.46
renHorn_400CNF1360_2aQBF_96FAIL888.22
renHorn_400CNF1360_2aQBF_35FAIL888.57
renHorn_400CNF1200_2aQBF_97FAIL888.68
renHorn_400CNF1560_2aQBF_47FAIL888.81
renHorn_400CNF2280_2aQBF_95FAIL888.91
renHorn_400CNF1640_2aQBF_87FAIL888.94
renHorn_400CNF1560_2aQBF_68FAIL889.31
renHorn_400CNF1800_2aQBF_7FAIL889.33
renHorn_400CNF1720_2aQBF_79FAIL889.35
renHorn_400CNF1800_2aQBF_2FAIL889.67
renHorn_400CNF1200_2aQBF_2FAIL889.73
renHorn_400CNF2040_2aQBF_59FAIL889.76
renHorn_400CNF1640_2aQBF_38FAIL889.78
renHorn_400CNF1960_2aQBF_68FAIL889.99
renHorn_400CNF1800_2aQBF_20FAIL890.16
renHorn_400CNF1480_2aQBF_21FAIL890.39
renHorn_400CNF2120_2aQBF_17FAIL890.45
renHorn_400CNF1480_2aQBF_44FAIL891.45
renHorn_400CNF1960_2aQBF_35FAIL891.88
renHorn_400CNF1640_2aQBF_7FAIL892.2