Instances of family NuSMV_diam solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
counter8_2SAT0
ring4_4SAT0
counter7_2SAT0
counter5_2SAT0
ring4_3SAT0
ring5_2SAT0
counter6_2SAT0
counter4_4SAT0
counter4_3SAT0
ring4_2SAT0
ring6_2SAT0
counter4_2SAT0
ring5_4SAT0
counter4_9SAT0.01
ring4_6SAT0.01
semaphore3_2SAT0.01
ring6_8SAT0.01
counter7_4SAT0.01
counter4_8SAT0.01
ring4_5SAT0.01
counter6_4SAT0.01
counter4_7SAT0.01
ring6_4SAT0.01
dmeSmall_2SAT0.01
counter4_6SAT0.01
semaphore_3SAT0.01
semaphore4_2SAT0.01
counter4_5SAT0.01
semaphore_2SAT0.01
semaphore5_2SAT0.01
semaphore_5SAT0.01
counter5_8SAT0.01
ring4_8SAT0.01
semaphore_4SAT0.01
ring5_8SAT0.01
counter8_4SAT0.01
counter5_4SAT0.01
counter4_10SAT0.01
ring4_7SAT0.01
counter4_15SAT0.02
counter4_14SAT0.02
semaphore3_4SAT0.02
counter4_13SAT0.02
semaphore4_3SAT0.02
counter4_12SAT0.02
semaphore5_3SAT0.02
counter5_16SAT0.02
ring5_16SAT0.02
counter4_11SAT0.02
counter7_8SAT0.02
counter6_8SAT0.02
dme1_2SAT0.02
semaphore3_3SAT0.02
semaphore6_2SAT0.02
dmeSmall_4SAT0.03
counter8_8SAT0.03
dme1_3SAT0.03
ring6_16SAT0.03
semaphore6_3SAT0.03
counter4_16SAT0.03
dme1_4SAT0.04
semaphore4_4SAT0.04
counter6_16SAT0.04
ring5_33SAT0.05
counter5_32SAT0.05
ring5_32SAT0.05
dme1_5SAT0.05
dmeSmall_8SAT0.05
counter7_16SAT0.05
semaphore5_4SAT0.05
dmeSmall_9SAT0.06
ring6_32SAT0.06
counter5_33SAT0.06
semaphore6_4SAT0.07
dme1_6SAT0.07
counter8_16SAT0.07
dme1_7SAT0.08
dme1_8SAT0.09
counter6_32SAT0.12
ring6_65SAT0.13
ring6_64SAT0.14
counter7_32SAT0.16
counter8_32SAT0.2
counter6_64SAT0.37
counter6_65SAT0.39
counter7_64SAT0.5
counter8_64SAT0.65
counter7_128SAT1.94
counter7_129SAT2.14
counter8_128SAT2.66
counter8_257SAT12.83
counter8_256SAT17.98