Instances of family renHorn solved by <a href='solver_detail.php?solver=11'>sSolve</a> <br> QBFEVAL'05

Instances of family renHorn solved by sSolve
QBFEVAL'05

Instance	Result	Time
renHorn_400CNF1360_2aQBF_96	SAT	0.01
renHorn_400CNF1280_2aQBF_62	SAT	0.01
renHorn_400CNF2280_2aQBF_13	SAT	0.01
renHorn_400CNF1480_2aQBF_85	UNSAT	0.01
renHorn_400CNF1560_2aQBF_47	SAT	0.01
renHorn_400CNF1640_2aQBF_18	SAT	0.01
renHorn_400CNF1880_2aQBF_19	SAT	0.01
renHorn_400CNF1480_2aQBF_62	SAT	0.01
renHorn_400CNF1640_2aQBF_38	SAT	0.01
renHorn_400CNF1360_2aQBF_22	SAT	0.01
renHorn_400CNF1800_2aQBF_5	SAT	0.01
renHorn_400CNF1720_2aQBF_11	SAT	0.01
renHorn_400CNF1880_2aQBF_81	SAT	0.01
renHorn_400CNF1200_2aQBF_97	UNSAT	0.01
renHorn_400CNF1280_2aQBF_7	SAT	0.01
renHorn_400CNF2120_2aQBF_88	SAT	0.01
renHorn_400CNF1640_2aQBF_53	SAT	0.01
renHorn_400CNF1400_2aQBF_80	SAT	0.01
renHorn_400CNF1480_2aQBF_98	SAT	0.01
renHorn_400CNF2040_2aQBF_86	SAT	0.01
renHorn_400CNF1720_2aQBF_71	SAT	0.01
renHorn_400CNF1560_2aQBF_72	SAT	0.01
renHorn_400CNF1720_2aQBF_92	SAT	0.02
renHorn_400CNF1280_2aQBF_3	SAT	0.02
renHorn_400CNF2280_2aQBF_4	SAT	0.02
renHorn_400CNF2120_2aQBF_63	SAT	0.02
renHorn_400CNF2280_2aQBF_95	SAT	0.02
renHorn_400CNF2360_2aQBF_88	SAT	0.02
renHorn_400CNF1200_2aQBF_79	UNSAT	0.02
renHorn_400CNF1280_2aQBF_56	UNSAT	0.02
renHorn_400CNF1800_2aQBF_24	SAT	0.02
renHorn_400CNF1200_2aQBF_8	UNSAT	0.02
renHorn_400CNF1280_2aQBF_22	UNSAT	0.02
renHorn_400CNF2360_2aQBF_97	SAT	0.02
renHorn_400CNF1480_2aQBF_92	SAT	0.02
renHorn_400CNF1200_2aQBF_85	SAT	0.02
renHorn_400CNF1560_2aQBF_96	SAT	0.02
renHorn_400CNF1640_2aQBF_79	SAT	0.02
renHorn_400CNF2120_2aQBF_10	SAT	0.02
renHorn_400CNF1720_2aQBF_79	SAT	0.02
renHorn_400CNF2120_2aQBF_84	SAT	0.02
renHorn_400CNF1560_2aQBF_28	UNSAT	0.02
renHorn_400CNF2200_2aQBF_22	SAT	0.02
renHorn_400CNF1880_2aQBF_88	SAT	0.02
renHorn_400CNF1480_2aQBF_96	SAT	0.02
renHorn_400CNF1200_2aQBF_28	UNSAT	0.02
renHorn_400CNF2040_2aQBF_11	SAT	0.02
renHorn_400CNF2040_2aQBF_100	SAT	0.02
renHorn_400CNF1480_2aQBF_99	SAT	0.02
renHorn_400CNF2120_2aQBF_31	SAT	0.02
renHorn_400CNF2120_2aQBF_19	SAT	0.02
renHorn_400CNF2280_2aQBF_59	SAT	0.03
renHorn_400CNF2120_2aQBF_52	SAT	0.03
renHorn_400CNF2200_2aQBF_48	SAT	0.03
renHorn_400CNF1560_2aQBF_2	UNSAT	0.03
renHorn_400CNF1640_2aQBF_7	UNSAT	0.03
renHorn_400CNF2200_2aQBF_79	SAT	0.03
renHorn_400CNF2360_2aQBF_58	SAT	0.03
renHorn_400CNF1960_2aQBF_41	SAT	0.03
renHorn_400CNF1800_2aQBF_2	UNSAT	0.03
renHorn_400CNF1560_2aQBF_68	UNSAT	0.03
renHorn_400CNF1800_2aQBF_7	SAT	0.03
renHorn_400CNF2360_2aQBF_9	SAT	0.03
renHorn_400CNF1960_2aQBF_79	SAT	0.03
renHorn_400CNF1640_2aQBF_87	SAT	0.03
renHorn_400CNF2120_2aQBF_21	SAT	0.03
renHorn_400CNF1560_2aQBF_90	UNSAT	0.03
renHorn_400CNF1480_2aQBF_44	UNSAT	0.03
renHorn_400CNF2120_2aQBF_37	SAT	0.03
renHorn_400CNF1800_2aQBF_36	UNSAT	0.04
renHorn_400CNF1720_2aQBF_20	UNSAT	0.04
renHorn_400CNF1960_2aQBF_50	UNSAT	0.04
renHorn_400CNF1480_2aQBF_21	UNSAT	0.04
renHorn_400CNF1800_2aQBF_53	UNSAT	0.04
renHorn_400CNF1960_2aQBF_68	UNSAT	0.04
renHorn_400CNF2280_2aQBF_67	UNSAT	0.05
renHorn_400CNF2120_2aQBF_17	UNSAT	0.05
renHorn_400CNF1800_2aQBF_20	UNSAT	0.05
renHorn_400CNF2040_2aQBF_59	UNSAT	0.06
renHorn_400CNF1960_2aQBF_76	UNSAT	0.06
renHorn_400CNF1360_2aQBF_35	UNSAT	0.06
renHorn_400CNF1960_2aQBF_35	UNSAT	0.22
renHorn_400CNF1640_2aQBF_42	SAT	131.55
renHorn_400CNF1200_2aQBF_2	FAIL	901

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family renHorn solved by sSolve
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family renHorn solved by sSolve QBFEVAL'05

Instances of family renHorn solved by sSolve
QBFEVAL'05