Instances solved by <a href='solver_detail.php?solver=55'>Adaptive2clsQ</a> <br> QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instances solved by Adaptive2clsQ
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instance	Result	Time
counter6_2	SAT	0.04
counter5_2	SAT	0.06
counter7_2	SAT	0.06
counter4_2	SAT	0.06
semaphore_2	SAT	0.08
counter4_3	SAT	0.08
counter8_2	SAT	0.08
ring4_2	SAT	0.1
ring5_2	SAT	0.23
semaphore3_2	SAT	0.24
ring6_2	SAT	0.52
semaphore4_2	SAT	4
counter4_4	SAT	10.69
counter5_4	SAT	12.45
ring6_8	FAIL	17.33
counter6_4	SAT	18.93
counter7_4	SAT	22.13
counter4_7	SAT	28.47
counter8_4	SAT	28.76
ring4_4	SAT	29.32
ring4_6	SAT	29.57
counter4_12	SAT	29.87
counter4_8	SAT	30.44
counter4_9	SAT	30.69
dmeSmall_2	SAT	31.3
counter6_8	SAT	31.95
counter8_8	SAT	33.33
counter4_11	SAT	33.65
ring4_5	SAT	34.37
counter4_10	SAT	34.43
ring5_4	SAT	35.99
counter7_8	SAT	36.83
semaphore3_3	SAT	37.29
semaphore6_2	SAT	37.75
counter5_8	SAT	39.29
ring6_4	SAT	41.82
dmeSmall_4	SAT	46.39
dme1_3	SAT	49.2
semaphore5_2	SAT	49.7
dme1_2	SAT	55.45
semaphore4_3	SAT	56.31
semaphore_4	SAT	58.59
semaphore_3	SAT	61.96
ring4_3	SAT	62.1
counter4_5	SAT	64.77
counter4_6	SAT	65.44
counter4_13	SAT	69.55
dme1_4	SAT	88.54
dme1_6	SAT	95.2
dme1_5	SAT	96.27
ring4_7	UNSAT	101.8
counter4_15	SAT	136.9
counter4_16	UNSAT	164.64
dme1_7	SAT	196.86
counter8_16	SAT	246.35
counter4_14	SAT	333.35
ring4_8	UNSAT	469.61
counter6_16	FAIL	600
counter5_32	FAIL	600
counter5_33	FAIL	600
counter7_128	FAIL	600
dme1_8	FAIL	600
counter5_16	FAIL	600
counter7_64	FAIL	600
counter6_32	FAIL	600
counter6_64	FAIL	600
counter7_32	FAIL	600
counter6_65	FAIL	600
counter7_16	FAIL	600
counter7_129	FAIL	600
dmeSmall_8	FAIL	600
ring5_33	FAIL	600
ring5_8	FAIL	600
ring5_16	FAIL	600
semaphore_5	FAIL	600
semaphore4_4	FAIL	600
ring6_64	FAIL	600
semaphore3_4	FAIL	600
ring6_65	FAIL	600
ring5_32	FAIL	600
counter8_128	FAIL	600
counter8_64	FAIL	600
semaphore6_4	FAIL	600
semaphore6_3	FAIL	600
semaphore5_4	FAIL	600
semaphore5_3	FAIL	600
counter8_256	FAIL	600
counter8_257	FAIL	600
counter8_32	FAIL	600
ring6_32	FAIL	600
ring6_16	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Adaptive2clsQ
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Adaptive2clsQ QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instances solved by Adaptive2clsQ
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.