Sota solver results for family k_d4_p
QBFEVAL'08


InstanceSolverResultTime
k_d4_p-1ssolveBUNSAT0
k_d4_p-10ssolveCUNSAT0.66
k_d4_p-11ssolveCUNSAT0.75
k_d4_p-12ssolveCUNSAT0.89
k_d4_p-13ssolveCUNSAT1
k_d4_p-14ssolveCUNSAT1.15
k_d4_p-15AQME-1NNUNSAT1.26
k_d4_p-16AQME-1NNUNSAT1.25
k_d4_p-17AQME-1NNUNSAT1.33
k_d4_p-18AQME-1NNUNSAT1.36
k_d4_p-19AQME-1NNUNSAT1.44
k_d4_p-2quantor3.0UNSAT0.01
k_d4_p-20AQME-1NNUNSAT1.46
k_d4_p-21AQME-1NNUNSAT1.5
k_d4_p-3quantor3.0UNSAT0.02
k_d4_p-4quantor3.0UNSAT0.03
k_d4_p-5quantor3.0UNSAT0.12
k_d4_p-6ssolveCUNSAT0.24
k_d4_p-7ssolveCUNSAT0.32
k_d4_p-8ssolveCUNSAT0.42
k_d4_p-9ssolveCUNSAT0.53