Instances of family NuSMV_diam solved by <a href='solver_detail.php?solver=245'>rareqs-nn</a> <br> QBFEVAL'16

Instances of family NuSMV_diam solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

Instance	Result	Time
counter4_3	SAT	0.07
counter4_2	SAT	0.07
counter5_2	SAT	0.07
counter4_4	SAT	0.08
ring4_2	SAT	0.08
ring6_2	SAT	0.08
counter7_2	SAT	0.08
ring5_2	SAT	0.08
counter6_2	SAT	0.08
counter5_4	SAT	0.09
counter8_2	SAT	0.09
counter4_5	SAT	0.09
ring4_3	SAT	0.09
counter4_6	SAT	0.1
semaphore_2	SAT	0.1
ring5_4	SAT	0.11
counter6_4	SAT	0.11
counter4_7	SAT	0.11
ring4_4	SAT	0.11
counter7_4	SAT	0.12
counter4_8	SAT	0.12
ring4_5	SAT	0.12
counter4_9	SAT	0.13
semaphore3_2	SAT	0.13
ring6_4	SAT	0.13
counter5_8	SAT	0.14
counter8_4	SAT	0.14
counter4_10	SAT	0.14
ring4_6	SAT	0.14
semaphore_3	SAT	0.14
counter4_11	SAT	0.15
ring4_7	SAT	0.15
counter4_12	SAT	0.15
ring4_8	SAT	0.16
semaphore4_2	SAT	0.16
counter6_8	SAT	0.17
counter4_14	SAT	0.17
counter4_13	SAT	0.17
semaphore_4	SAT	0.18
ring5_8	SAT	0.18
counter4_15	SAT	0.18
counter4_16	SAT	0.19
semaphore3_3	SAT	0.19
semaphore5_2	SAT	0.2
counter7_8	SAT	0.21
ring6_8	SAT	0.21
dmeSmall_2	SAT	0.21
semaphore_5	SAT	0.22
semaphore6_2	SAT	0.22
semaphore4_3	SAT	0.24
semaphore3_4	SAT	0.25
counter8_8	SAT	0.26
counter5_16	SAT	0.28
dme1_2	SAT	0.29
semaphore5_3	SAT	0.3
ring5_16	SAT	0.31
counter6_16	SAT	0.31
semaphore4_4	SAT	0.33
semaphore6_3	SAT	0.36
ring6_16	SAT	0.38
dmeSmall_4	SAT	0.39
counter7_16	SAT	0.4
semaphore5_4	SAT	0.41
dme1_3	SAT	0.42
counter5_32	SAT	0.48
semaphore6_4	SAT	0.49
counter8_16	SAT	0.49
counter5_33	SAT	0.5
dme1_4	SAT	0.57
ring5_32	SAT	0.59
ring5_33	SAT	0.6
counter6_32	SAT	0.64
dme1_5	SAT	0.71
ring6_32	SAT	0.74
dmeSmall_8	SAT	0.77
counter7_32	SAT	0.81
dme1_6	SAT	0.86
dmeSmall_9	SAT	0.87
counter8_32	SAT	1.02
dme1_7	SAT	1.02
dme1_8	SAT	1.16
counter6_64	SAT	1.34
counter6_65	SAT	1.35
ring6_64	SAT	1.54
ring6_65	SAT	1.57
counter7_64	SAT	1.7
counter8_64	SAT	2.42
counter7_129	SAT	3.85
counter7_128	SAT	4.19
counter8_128	SAT	4.63
counter8_256	SAT	14.47
counter8_257	SAT	15.22

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam solved by rareqs-nn QBFEVAL'16 - Prenex non-CNF Track.

Instances of family NuSMV_diam solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.