Solver performances for family instances
Prenex non-CNF Track


FamilyOverallTimeReference solver
N#SU
amba 422046.67quabs___caqe-hqspre
ASP_Equivalence_Checking 40404000.12quabs___caqe-hqspre
BoundedSynthesisPetriGames 894526195123.66Cqesto_2018
chess_composing 8000 - -
chess_solving 32323203050.61GhostQ___plain_qcir_2019
CombinationalEquivalence 353515200QFUN
cycle-sched 7321307.94quabs___caqe-hqspre
driver 66605.33quabs___caqe-hqspre
genbuf 2202365.52quabs___caqe-hqspre
hwmcc 211068.23quabs___caqe-hqspre
jctc 131064747.9QFUN
ltl2aig-comp 3202105.01QFUN
LTL2DBA 21101.4quabs___caqe-hqspre
LTL2DPA 1000 - -
Model_instances 30151322213.52QuAbS___quabs-caqe_2019
mult-matrix 6541457.69quabs___caqe-hqspre
Reduction-finding 1918162821.54Cqesto_2018
Reduction-finding-qcir 353521140Cqesto_2018
toy 54406.2quabs___caqe-hqspre