Instances of family NuSMV_diam solved by <a href='solver_detail.php?solver=62'>AQME-C4.5</a> <br> QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instances of family NuSMV_diam solved by AQME-C4.5
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instance	Result	Time
counter8_2	SAT	0.54
counter7_2	SAT	0.54
counter5_2	SAT	0.55
counter4_2	SAT	0.55
counter6_2	SAT	0.55
counter4_3	SAT	0.57
semaphore_2	SAT	0.6
ring4_2	SAT	0.61
semaphore4_2	SAT	0.7
counter6_8	SAT	0.7
ring5_2	SAT	0.73
counter7_8	SAT	0.75
semaphore3_2	SAT	0.88
counter8_8	SAT	0.99
ring6_2	SAT	1
counter4_4	SAT	1.07
counter6_16	SAT	1.17
counter7_16	SAT	1.65
counter5_4	SAT	1.72
counter8_16	SAT	2.1
ring5_16	UNSAT	5.02
counter5_32	UNSAT	5.79
counter6_32	SAT	8.13
counter7_4	SAT	8.72
counter6_4	SAT	8.91
counter8_4	SAT	14.71
counter4_7	SAT	15.26
ring6_4	SAT	15.52
ring4_4	SAT	15.91
counter4_8	SAT	15.93
semaphore_4	SAT	16.01
semaphore6_2	SAT	16.96
ring5_4	SAT	17.25
semaphore3_3	SAT	18.18
counter5_8	SAT	18.37
counter4_12	SAT	18.41
counter4_11	SAT	18.56
ring4_5	SAT	19.01
counter4_9	SAT	19.41
dmeSmall_2	SAT	19.75
counter5_33	UNSAT	20.26
counter4_5	SAT	20.56
counter4_6	SAT	20.61
semaphore_3	SAT	20.66
ring4_3	SAT	20.67
semaphore5_2	SAT	20.78
counter4_10	SAT	20.86
dme1_2	SAT	22.07
counter4_14	SAT	22.39
dmeSmall_4	SAT	22.67
dme1_3	SAT	22.71
ring4_6	SAT	24.37
dme1_4	SAT	24.39
dme1_5	SAT	26.25
counter4_13	SAT	27.28
semaphore_5	UNSAT	79.25
semaphore4_3	SAT	83.13
semaphore3_4	UNSAT	89.92
ring4_7	UNSAT	93.21
ring4_8	UNSAT	95.76
counter4_15	SAT	96.67
semaphore6_3	SAT	98.22
semaphore5_3	SAT	99.43
counter4_16	UNSAT	99.68
ring5_8	UNSAT	99.87
counter5_16	SAT	104.72
ring6_8	SAT	132.6
semaphore4_4	UNSAT	149.86
dme1_6	FAIL	181.73
ring6_16	FAIL	212.59
counter8_32	SAT	217.03
counter7_32	SAT	225.51
counter7_129	FAIL	371.26
counter7_128	FAIL	379.29
ring6_32	UNSAT	428.6
counter6_64	UNSAT	493.38
dme1_7	FAIL	527.11
counter6_65	UNSAT	571.56
counter8_128	FAIL	579.43
counter8_256	FAIL	600
semaphore5_4	FAIL	600
ring6_65	FAIL	600
semaphore6_4	FAIL	600
counter8_64	FAIL	600
dme1_8	FAIL	600
ring5_32	FAIL	600
ring5_33	FAIL	600
dmeSmall_8	FAIL	600
ring6_64	FAIL	600
counter7_64	FAIL	600
counter8_257	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam solved by AQME-C4.5
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam solved by AQME-C4.5 QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instances of family NuSMV_diam solved by AQME-C4.5
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.