Sota solver results for family RobotsD5
QBFEVAL'16 - Random QBFs Track.


InstanceSolverResultTime
robots_1_5_5_45.1qestoSAT0.01
robots_1_5_5_45.10qstsUNSAT4.82
robots_1_5_5_45.2qstsSAT0.07
robots_1_5_5_45.3qstsSAT0.16
robots_1_5_5_45.4qstsSAT0.59
robots_1_5_5_45.5hiqqer1ldsqSAT1.38
robots_1_5_5_45.6depqbf-v1UNSAT2.12
robots_1_5_5_45.7hiqqer1ldsqUNSAT3.34
robots_1_5_5_45.8qstsUNSAT1.24
robots_1_5_5_45.9qstsUNSAT2.93
robots_1_5_5_58.1qestoSAT0.01
robots_1_5_5_58.10depqbf-v1UNSAT1.61
robots_1_5_5_58.2qstsSAT0.07
robots_1_5_5_58.3qstsSAT0.12
robots_1_5_5_58.4qstsSAT0.32
robots_1_5_5_58.5qstsUNSAT0.56
robots_1_5_5_58.6qstsUNSAT0.68
robots_1_5_5_58.7qstsUNSAT1.1
robots_1_5_5_58.8qstsUNSAT0.61
robots_1_5_5_58.9depqbf-v1UNSAT2.01
robots_1_5_5_91.1qestosSAT0.01
robots_1_5_5_91.10depqbf-v1UNSAT3.01
robots_1_5_5_91.2qstsSAT0.07
robots_1_5_5_91.3qstsSAT0.13
robots_1_5_5_91.4qstsSAT0.43
robots_1_5_5_91.5qstsUNSAT0.75
robots_1_5_5_91.6qstsUNSAT0.99
robots_1_5_5_91.7qstsUNSAT2.4
robots_1_5_5_91.8qstsUNSAT0.57
robots_1_5_5_91.9qstsUNSAT0.76