Solver performances for family instances
QBFEVAL'10 - Random QBFs Track.


FamilyOverallTimeReference solver
N#SU
ASP_Program_Inclusion 404004047.99depqbf-pre
CounterFactual 80804436329.14depqbf-pre
q2k3k3 2701611124912394.9aqme-10
RobotsD2 30292541476.96aqme-10
RobotsD3 30302195422.24QuBE7
RobotsD4 30302010234.47aqme-10
RobotsD5 3030219328.06aqme-10
Strategic_Companies 40323291080.8QuBE7