Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: load_full_4_comp3_REAL.unsat
Best Solver: AIGSolve Time: 19.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - HQSpre_solver 30.38 QELL_unit 105.53 caqe_2017_v2 753.92
- - rareqs 30.41 rev_qfun0.1 148.03 caqe_2017_v3 786.6
- - ijtihad_v1 32.27 - - - -
- - ijtihad_v2 32.27 - - - -
- - heretiq 32.79 - - - -
- - caqe_2017_v1 52.57 - - - -
- - QELL_default 93.56 - - - -
AIGSolve(19.76)
HQSpre_solver(30.38)
rareqs(30.41)
ijtihad_v1(32.27)
ijtihad_v2(32.27)
heretiq(32.79)
caqe_2017_v1(52.57)
QELL_default(93.56)
QELL_unit(105.53)
rev_qfun0.1(148.03)
caqe_2017_v2(753.92)
caqe_2017_v3(786.6)