Instances of family renHorn solved by QUANTOR
QBFEVAL'05

InstanceResultTime
renHorn_400CNF1200_2aQBF_8UNSAT0.63
renHorn_400CNF1200_2aQBF_97UNSAT0.71
renHorn_400CNF1200_2aQBF_28UNSAT1.47
renHorn_400CNF1200_2aQBF_79UNSAT2.49
renHorn_400CNF1280_2aQBF_22UNSAT2.72
renHorn_400CNF1360_2aQBF_35UNSAT3.03
renHorn_400CNF1480_2aQBF_85UNSAT3.44
renHorn_400CNF1480_2aQBF_44FAIL11.41
renHorn_400CNF1480_2aQBF_96FAIL11.46
renHorn_400CNF1560_2aQBF_2FAIL11.49
renHorn_400CNF1480_2aQBF_99FAIL11.56
renHorn_400CNF1480_2aQBF_21FAIL11.61
renHorn_400CNF1480_2aQBF_98FAIL11.66
renHorn_400CNF1560_2aQBF_96FAIL11.84
renHorn_400CNF1560_2aQBF_72FAIL11.86
renHorn_400CNF1560_2aQBF_90FAIL11.94
renHorn_400CNF1560_2aQBF_68FAIL12.03
renHorn_400CNF1560_2aQBF_28FAIL12.03
renHorn_400CNF1560_2aQBF_47FAIL12.08
renHorn_400CNF1640_2aQBF_79FAIL12.1
renHorn_400CNF1640_2aQBF_7FAIL12.15
renHorn_400CNF1720_2aQBF_79FAIL12.15
renHorn_400CNF1640_2aQBF_53FAIL12.17
renHorn_400CNF1640_2aQBF_42FAIL12.17
renHorn_400CNF1720_2aQBF_71FAIL12.18
renHorn_400CNF1640_2aQBF_87FAIL12.19
renHorn_400CNF1280_2aQBF_56FAIL12.25
renHorn_400CNF1640_2aQBF_18FAIL12.3
renHorn_400CNF1200_2aQBF_85FAIL12.33
renHorn_400CNF1720_2aQBF_92FAIL12.36
renHorn_400CNF1720_2aQBF_11FAIL12.41
renHorn_400CNF1280_2aQBF_7FAIL12.43
renHorn_400CNF1640_2aQBF_38FAIL12.52
renHorn_400CNF1720_2aQBF_20FAIL12.62
renHorn_400CNF1280_2aQBF_3FAIL12.77
renHorn_400CNF1200_2aQBF_2FAIL12.85
renHorn_400CNF1800_2aQBF_53FAIL12.92
renHorn_400CNF1800_2aQBF_24FAIL12.95
renHorn_400CNF1360_2aQBF_22FAIL12.96
renHorn_400CNF1800_2aQBF_2FAIL13.07
renHorn_400CNF1800_2aQBF_20FAIL13.07
renHorn_400CNF1880_2aQBF_19FAIL13.13
renHorn_400CNF1400_2aQBF_80FAIL13.43
renHorn_400CNF1880_2aQBF_88FAIL13.46
renHorn_400CNF1800_2aQBF_5FAIL13.52
renHorn_400CNF1360_2aQBF_96FAIL13.53
renHorn_400CNF1800_2aQBF_7FAIL13.54
renHorn_400CNF1480_2aQBF_92FAIL13.67
renHorn_400CNF1960_2aQBF_76FAIL13.75
renHorn_400CNF1880_2aQBF_81FAIL13.81
renHorn_400CNF1960_2aQBF_79FAIL14.02
renHorn_400CNF1960_2aQBF_41FAIL14.04
renHorn_400CNF1960_2aQBF_68FAIL14.04
renHorn_400CNF1800_2aQBF_36FAIL14.07
renHorn_400CNF1960_2aQBF_35FAIL14.13
renHorn_400CNF2120_2aQBF_10FAIL14.25
renHorn_400CNF1960_2aQBF_50FAIL14.42
renHorn_400CNF2120_2aQBF_88FAIL14.45
renHorn_400CNF2120_2aQBF_17FAIL14.48
renHorn_400CNF2040_2aQBF_11FAIL14.53
renHorn_400CNF2040_2aQBF_86FAIL14.66
renHorn_400CNF2120_2aQBF_19FAIL14.88
renHorn_400CNF2040_2aQBF_100FAIL14.93
renHorn_400CNF2040_2aQBF_59FAIL14.95
renHorn_400CNF2120_2aQBF_52FAIL15.01
renHorn_400CNF2120_2aQBF_37FAIL15.07
renHorn_400CNF1280_2aQBF_62FAIL15.07
renHorn_400CNF2120_2aQBF_84FAIL15.12
renHorn_400CNF2120_2aQBF_21FAIL15.12
renHorn_400CNF2120_2aQBF_31FAIL15.13
renHorn_400CNF2200_2aQBF_22FAIL15.24
renHorn_400CNF2200_2aQBF_79FAIL15.34
renHorn_400CNF2120_2aQBF_63FAIL15.37
renHorn_400CNF2200_2aQBF_48FAIL15.96
renHorn_400CNF2280_2aQBF_67FAIL16
renHorn_400CNF2360_2aQBF_58FAIL16
renHorn_400CNF2280_2aQBF_4FAIL16.1
renHorn_400CNF2280_2aQBF_95FAIL16.16
renHorn_400CNF2280_2aQBF_59FAIL16.23
renHorn_400CNF2280_2aQBF_13FAIL16.5
renHorn_400CNF2360_2aQBF_97FAIL16.56
renHorn_400CNF2360_2aQBF_88FAIL16.8
renHorn_400CNF2360_2aQBF_9FAIL16.88
renHorn_400CNF1480_2aQBF_62FAIL18.4