Instances of family renHorn solved by GRL
QBFEVAL'05

InstanceResultTime
renHorn_400CNF1200_2aQBF_8UNSAT0.03
renHorn_400CNF1640_2aQBF_7UNSAT0.03
renHorn_400CNF1480_2aQBF_21UNSAT0.04
renHorn_400CNF1560_2aQBF_28UNSAT0.04
renHorn_400CNF1800_2aQBF_53UNSAT0.04
renHorn_400CNF1200_2aQBF_28UNSAT0.04
renHorn_400CNF1800_2aQBF_36UNSAT0.04
renHorn_400CNF1200_2aQBF_79UNSAT0.04
renHorn_400CNF1960_2aQBF_68UNSAT0.06
renHorn_400CNF1480_2aQBF_85UNSAT0.06
renHorn_400CNF1280_2aQBF_22UNSAT0.07
renHorn_400CNF1960_2aQBF_50UNSAT0.13
renHorn_400CNF1200_2aQBF_97UNSAT0.32
renHorn_400CNF1280_2aQBF_56UNSAT1.42
renHorn_400CNF1560_2aQBF_2UNSAT2.45
renHorn_400CNF1720_2aQBF_20UNSAT4.12
renHorn_400CNF1560_2aQBF_96SAT5.25
renHorn_400CNF1280_2aQBF_3SAT8.71
renHorn_400CNF1360_2aQBF_35UNSAT9.62
renHorn_400CNF1800_2aQBF_20UNSAT12.82
renHorn_400CNF1480_2aQBF_62SAT16.41
renHorn_400CNF1400_2aQBF_80SAT22.47
renHorn_400CNF1960_2aQBF_35UNSAT42
renHorn_400CNF2280_2aQBF_67UNSAT68.96
renHorn_400CNF1200_2aQBF_85SAT99.83
renHorn_400CNF1480_2aQBF_44UNSAT130.95
renHorn_400CNF1640_2aQBF_18SAT138.1
renHorn_400CNF1200_2aQBF_2UNSAT155.12
renHorn_400CNF1480_2aQBF_98SAT370.26
renHorn_400CNF1280_2aQBF_7SAT411.8
renHorn_400CNF1360_2aQBF_96SAT444.1
renHorn_400CNF1360_2aQBF_22SAT821.75
renHorn_400CNF1720_2aQBF_71FAIL900.83
renHorn_400CNF1720_2aQBF_79FAIL900.84
renHorn_400CNF2120_2aQBF_63FAIL900.85
renHorn_400CNF1800_2aQBF_2FAIL900.86
renHorn_400CNF2360_2aQBF_88FAIL900.86
renHorn_400CNF2120_2aQBF_10FAIL900.87
renHorn_400CNF2040_2aQBF_100FAIL900.87
renHorn_400CNF1640_2aQBF_42FAIL900.88
renHorn_400CNF1640_2aQBF_38FAIL900.88
renHorn_400CNF1880_2aQBF_81FAIL900.89
renHorn_400CNF2280_2aQBF_13FAIL900.89
renHorn_400CNF2280_2aQBF_4FAIL900.89
renHorn_400CNF1560_2aQBF_72FAIL900.9
renHorn_400CNF2200_2aQBF_79FAIL900.9
renHorn_400CNF1560_2aQBF_68FAIL900.91
renHorn_400CNF1800_2aQBF_7FAIL900.91
renHorn_400CNF2120_2aQBF_88FAIL900.91
renHorn_400CNF2200_2aQBF_48FAIL900.91
renHorn_400CNF2120_2aQBF_17FAIL900.92
renHorn_400CNF1480_2aQBF_92FAIL900.92
renHorn_400CNF1640_2aQBF_79FAIL900.92
renHorn_400CNF1880_2aQBF_88FAIL900.92
renHorn_400CNF2120_2aQBF_21FAIL900.92
renHorn_400CNF1560_2aQBF_90FAIL900.92
renHorn_400CNF1480_2aQBF_96FAIL900.92
renHorn_400CNF2040_2aQBF_11FAIL900.92
renHorn_400CNF1880_2aQBF_19FAIL900.92
renHorn_400CNF2120_2aQBF_52FAIL900.92
renHorn_400CNF1560_2aQBF_47FAIL900.92
renHorn_400CNF1800_2aQBF_24FAIL900.92
renHorn_400CNF1720_2aQBF_11FAIL900.93
renHorn_400CNF2360_2aQBF_97FAIL900.93
renHorn_400CNF1640_2aQBF_87FAIL900.93
renHorn_400CNF2040_2aQBF_86FAIL900.93
renHorn_400CNF2120_2aQBF_37FAIL900.93
renHorn_400CNF2040_2aQBF_59FAIL900.93
renHorn_400CNF2120_2aQBF_84FAIL900.94
renHorn_400CNF2360_2aQBF_9FAIL900.94
renHorn_400CNF1640_2aQBF_53FAIL900.94
renHorn_400CNF2120_2aQBF_31FAIL900.94
renHorn_400CNF2120_2aQBF_19FAIL900.94
renHorn_400CNF2280_2aQBF_59FAIL900.94
renHorn_400CNF1960_2aQBF_79FAIL900.95
renHorn_400CNF2200_2aQBF_22FAIL900.95
renHorn_400CNF1480_2aQBF_99FAIL900.95
renHorn_400CNF2280_2aQBF_95FAIL900.95
renHorn_400CNF1960_2aQBF_41FAIL900.96
renHorn_400CNF1960_2aQBF_76FAIL900.96
renHorn_400CNF1280_2aQBF_62FAIL900.96
renHorn_400CNF1720_2aQBF_92FAIL900.97
renHorn_400CNF1800_2aQBF_5FAIL900.98
renHorn_400CNF2360_2aQBF_58FAIL900.98