Sota solver results for family k_lin_n
QBFEVAL'08


InstanceSolverResultTime
k_lin_n-1NenofexSAT0
k_lin_n-10QuBE6.1SAT2.2
k_lin_n-11QuBE6.1SAT1.5
k_lin_n-12AQME-1NNSAT3.24
k_lin_n-13AQME-1NNSAT3.56
k_lin_n-14QuBE6.1SAT2.72
k_lin_n-15AQME-1NNSAT7.17
k_lin_n-16AQME-1NNSAT8.39
k_lin_n-17AQME-1NNSAT4.04
k_lin_n-18QuBE6.1SAT10.02
k_lin_n-19AQME-1NNSAT4.69
k_lin_n-2quantor3.0SAT0.01
k_lin_n-20AQME-1NNSAT17.64
k_lin_n-21AQME-1NNSAT21.43
k_lin_n-3quantor3.0SAT0.04
k_lin_n-4QuBE6.1SAT0.12
k_lin_n-5QuBE6.1SAT0.18
k_lin_n-6QuBE6.1SAT0.35
k_lin_n-7QuBE6.1SAT0.42
k_lin_n-8QuBE6.1SAT0.54
k_lin_n-9QuBE6.1SAT0.84