Sota solver results for family BoundedSynthesisPetriGames
Prenex non-CNF Track


InstanceSolverResultTime
CM-sat-04-01-06-3Cqesto_2018SAT3.8
CM-sat-04-01-06-4Cqesto_2018SAT5.54
CM-sat-04-01-07-3Cqesto_2018SAT8.37
CM-sat-07-01-06-3Cqesto_2018SAT40.85
CM-sat-07-01-06-4QFUNSAT291.76
CM-sat-07-01-07-3Cqesto_2018SAT42.28
CM-unsat-07-01-06-2QuAbS___quabs-caqe_2019UNSAT264.99
DW-sat-04-16-1Cqesto_2018SAT0
DW-sat-08-22-1QuAbS___quabs-caqe_2019SAT6.98
DW-sat-08-23-1Cqesto_2018SAT15.07
DW-sat-09-26-1QuAbS___quabs-caqe_2019SAT41.09
DW-unsat-09-22-1Cqesto_2018UNSAT76.48
DW-unsat-09-23-1Cqesto_2018UNSAT77.27
DW-unsat-10-25-1Cqesto_2018UNSAT181.67
DW-unsat-11-26-1Cqesto_2018UNSAT448.03
DWs-sat-10-23-1Cqesto_2018SAT3.62
DWs-sat-10-25-1Cqesto_2018SAT4.09
DWs-sat-12-28-1Cqesto_2018SAT7.19
DWs-sat-19-41-1Cqesto_2018SAT50.93
DWs-sat-20-43-1Cqesto_2018SAT56.77
DWs-sat-21-45-1Cqesto_2018SAT66.98
DWs-sat-22-47-1Cqesto_2018SAT76.77
DWs-sat-23-49-1Cqesto_2018SAT97.63
DWs-sat-24-51-1Cqesto_2018SAT124.7
DWs-sat-25-53-1Cqesto_2018SAT149.14
DWs-unsat-08-17-1Quabs_2018UNSAT7.68
DWs-unsat-08-18-1QuAbS___quabs-caqe_2019UNSAT13.5
DWs-unsat-09-19-1Quabs_2018UNSAT16.5
DWs-unsat-10-22-1QuAbS___quabs-caqe_2019UNSAT69.39
DWs-unsat-11-23-1QuAbS___quabs-caqe_2019UNSAT90.82
DWs-unsat-11-24-1QuAbS___quabs-caqe_2019UNSAT180.81
JP-sat-02-07-4Cqesto_2018SAT2.28
JP-sat-02-08-3Cqesto_2018SAT0.82
JP-unsat-02-06-3Cqesto_2018UNSAT2.31
JP-unsat-02-07-2Quabs_2018UNSAT0.89
JP-unsat-03-07-4Cqesto_2018UNSAT199.77
JP-unsat-03-08-3QuAbS___quabs-caqe_2019UNSAT151.04
SR-sat-02-01-06-2Cqesto_2018SAT1.62
SR-sat-02-01-06-3Qute_defaultSAT20.45
SR-sat-02-01-07-2Qute_defaultSAT0.91
SR-sat-03-01-07-2quabs___caqe-hqspreSAT699.24
SR-sat-03-01-08-2Quabs_2018SAT430.75
SR-unsat-02-01-05-2QuAbS___quabs-caqe_2019UNSAT1.97
SR-unsat-02-01-06-1Qute_defaultUNSAT0
SR-unsat-03-01-06-2quabs___caqe-hqspreUNSAT805.75
SR-unsat-03-01-07-1Cqesto_2018UNSAT0
SR-unsat-04-01-08-1Quabs_2018UNSAT8.01