Instances of family NuSMV_diam solved by CirQit2.1
QBFEVAL'10 - Non-prenex Non-CNF Track.

InstanceResultTime
counter7_2SAT0
counter5_2SAT0
counter4_5SAT0.01
ring6_2SAT0.01
counter6_4SAT0.01
semaphore_2SAT0.01
ring5_2SAT0.01
counter4_4SAT0.01
counter4_3SAT0.01
ring4_2SAT0.01
counter5_4SAT0.01
ring5_4SAT0.01
semaphore3_2SAT0.01
counter8_2SAT0.01
counter4_6SAT0.01
ring4_3SAT0.02
counter6_2SAT0.02
counter4_2SAT0.02
counter4_7SAT0.02
semaphore4_2SAT0.02
semaphore5_2SAT0.02
counter4_10SAT0.02
counter7_4SAT0.02
counter4_8SAT0.02
ring6_4SAT0.02
counter4_11SAT0.02
counter8_4SAT0.02
semaphore3_3SAT0.02
semaphore6_2SAT0.02
counter4_9SAT0.02
counter4_15SAT0.02
counter4_13SAT0.02
ring4_4SAT0.02
semaphore_3SAT0.02
ring4_6SAT0.03
ring4_5SAT0.03
counter4_12SAT0.03
counter5_8SAT0.03
counter4_14SAT0.04
semaphore_4SAT0.04
counter6_8SAT0.04
semaphore5_3SAT0.05
semaphore4_3SAT0.05
semaphore6_3SAT0.06
counter7_8SAT0.06
semaphore_5SAT0.06
counter4_16UNSAT0.06
semaphore3_4SAT0.07
counter8_8SAT0.07
semaphore5_4SAT0.07
counter5_16SAT0.08
dmeSmall_2SAT0.08
ring4_7UNSAT0.1
ring4_8UNSAT0.12
dme1_2SAT0.12
semaphore4_4SAT0.14
counter6_16SAT0.17
dme1_3SAT0.17
counter7_16SAT0.18
counter8_16SAT0.22
ring5_8UNSAT0.26
dmeSmall_4SAT0.37
counter5_32UNSAT0.46
counter5_33UNSAT0.47
counter6_32SAT0.51
ring6_8SAT0.69
ring5_16UNSAT0.71
dme1_4SAT0.73
dme1_5SAT0.76
counter7_32SAT0.95
dmeSmall_8SAT1.2
semaphore6_4SAT1.43
dme1_6SAT1.45
ring5_32UNSAT1.65
ring5_33UNSAT1.73
dmeSmall_9SAT1.85
ring6_16UNSAT1.86
dme1_7SAT1.98
counter8_32SAT2.07
dme1_8SAT2.72
counter6_65UNSAT4.78
counter6_64UNSAT5.16
ring6_32UNSAT5.52
counter7_64SAT9.31
ring6_64UNSAT12.09
ring6_65UNSAT13.69
counter8_64SAT14.98
counter7_128UNSAT145.26
counter7_129UNSAT150.21
counter8_256FAIL1201.15
counter8_128FAIL1201.15
counter8_257FAIL1201.16