Sota solver results for family NuSMV_diam
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
counter4_10qstsSAT0.01
counter4_11qstsSAT0.01
counter4_12qstsSAT0.01
counter4_13qstsSAT0.01
counter4_14qstsSAT0.01
counter4_15qstsSAT0.01
counter4_16qstsSAT0.01
counter4_2quabs-picosatSAT0
counter4_3qstsSAT0
counter4_4qstsSAT0
counter4_5qstsSAT0
counter4_6qstsSAT0
counter4_7qstsSAT0.01
counter4_8qstsSAT0.01
counter4_9qstsSAT0.01
counter5_16qstsSAT0.01
counter5_2qstsSAT0
counter5_32quabs-minisatSAT0.01
counter5_33qstsSAT0.02
counter5_4qstsSAT0
counter5_8qstsSAT0.01
counter6_16qstsSAT0.02
counter6_2qstsSAT0
counter6_32qstsSAT0.03
counter6_4qstsSAT0.01
counter6_64xb-bid-qstsSAT0.05
counter6_65xb-bid-qstsSAT0.05
counter6_8qstsSAT0.01
counter7_128xb-qstsSAT0.05
counter7_129xb-bid-qstsSAT0.05
counter7_16qstsSAT0.02
counter7_2quabs-picosatSAT0
counter7_32quabs-minisatSAT0.03
counter7_4qstsSAT0.01
counter7_64xb-bid-qstsSAT0.05
counter7_8qstsSAT0.01
counter8_128xb-qstsSAT0.05
counter8_16quabs-minisatSAT0.02
counter8_2qstsSAT0
counter8_256xb-bid-qstsSAT0.05
counter8_257xb-qstsSAT0.05
counter8_32qstsSAT0.05
counter8_4qstsSAT0.01
counter8_64xb-bid-qstsSAT0.05
counter8_8qstsSAT0.01
dme1_2qstsUNSAT0.01
dme1_3qstsUNSAT0.01
dme1_4qstsUNSAT0.02
dme1_5qstsUNSAT0.02
dme1_6qstsUNSAT0.03
dme1_7qstsUNSAT0.03
dme1_8qstsUNSAT0.04
dmeSmall_2qstsUNSAT0.01
dmeSmall_4qstsUNSAT0.01
dmeSmall_8qstsUNSAT0.02
dmeSmall_9qstsUNSAT0.03
ring4_2qstsSAT0
ring4_3qstsSAT0
ring4_4qstsSAT0
ring4_5quabs-picosatSAT0.01
ring4_6qstsSAT0.01
ring4_7qstsSAT0.01
ring4_8qstsSAT0.01
ring5_16quabs-minisatSAT0.01
ring5_2qstsSAT0
ring5_32quabs-minisatSAT0.02
ring5_33quabs-minisatSAT0.02
ring5_4quabs-picosatSAT0
ring5_8qstsSAT0.01
ring6_16quabs-minisatSAT0.01
ring6_2qstsSAT0
ring6_32quabs-minisatSAT0.03
ring6_4qstsSAT0.01
ring6_64xb-bid-qstsSAT0.05
ring6_65quabs-minisatSAT0.05
ring6_8quabs-picosatSAT0.01
semaphore3_2qstsSAT0
semaphore3_3qstsSAT0.01
semaphore3_4qstsSAT0.01
semaphore4_2quabs-picosatSAT0.01
semaphore4_3qstsSAT0.01
semaphore4_4qstsSAT0.01
semaphore5_2qstsSAT0.01
semaphore5_3qstsSAT0.01
semaphore5_4quabs-minisatSAT0.01
semaphore6_2qstsSAT0.01
semaphore6_3qstsSAT0.01
semaphore6_4quabs-minisatSAT0.01
semaphore_2qstsSAT0
semaphore_3quabs-minisatSAT0
semaphore_4qstsSAT0.01
semaphore_5quabs-picosatSAT0.01