Sota solver results for family jctc
Prenex non-CNF Track


InstanceSolverResultTime
jctc1-passQFUNSAT0.55
jctc10-failQuAbS___quabs-caqe_2019UNSAT174.16
jctc13-failQute_defaultUNSAT0.91
jctc14-unrolled-failQFUNUNSAT135.49
jctc16-vals-0,2-passQFUNSAT0
jctc17-vals-0,2-passQFUNSAT298.3
jctc2-passQFUNSAT1.37
jctc4-failQute_defaultUNSAT2.9
jctc5-failQuabs_2018UNSAT639.18
jctc6-passQFUNSAT0
jctc8-passQute_defaultSAT2.18
jctc9-passGhostQ___plain_qcir_2019SAT6.09