This website contains supporting material for the IJCAR 2020 submission "SGGS Decision Procedures" by Maria Paola Bonacina and Sarah Winkler. You can find all experimental data reported on in the paper by clicking on the respective problem class on the right. The source code of the Koala prototype and a pre-built executable are also available.
The following table lists all TPTP 7.2.0 problems which were detected as positively or negatively restrained by the test described in the paper. For each problem, we list its status and rating according to TPTP, whether it is positively or negatively restrained, and give a link to the TRS whose termination was proven to establish this property. Some other decidability criteria were evaluated, too. If the problem was solved by our SGGS prototype, there is a link to a trace of the successful derivation. The final column indicates whether the polarity of some predicate was flipped to show restrainedness of the problem.
| problem | status | rating | restrained | TRS | properties | ||
|---|---|---|---|---|---|---|---|
| SYN926+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN943+1 | THM | 0.0 | positive | TRS | sggs run | ||
| SYN967+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN005-1.010 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| PUZ052-1 | SAT | 1.0 | positive | TRS | EPR, guarded, PVD, stratified | ||
| PLA029-1 | SAT | 0.0 | negative | TRS | sggs run | ||
| SYN306-1 | SAT | 0.0 | negative | TRS | sggs run | flipped p | |
| SWV328-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN061+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_j |
| NLP119-1 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| LCL680+1.001 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN058-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, guarded, PVD, stratified | sggs run | flipped big_q |
| SWV257-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| SYN930+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN401+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SWV011+1 | THM | 0.0 | positive | TRS | monadic, PVD | sggs run | |
| NLP119+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| PUZ014-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SET913+1 | THM | 0.0 | positive | TRS | PVD | sggs run | |
| SWV266-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SYN028-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN044-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN955+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SWV357-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN322+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| LAT267-2 | UNSAT | 0.0 | positive | TRS | EPR, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN373+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_p |
| SWV256-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| NLP115-1 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SWV335-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SWV314-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SWV269-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| SYN044+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| GRA001-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN318+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| LCL637+1.001 | CSAT | 0.0 | positive | TRS | EPR, 2var | sggs run | |
| LCL441-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| SYN406+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN942+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| LAT260-2 | UNSAT | 0.2 | positive | TRS | guarded, ground, PVD, stratified | sggs run | |
| SYN040-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN409+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN971+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN979+1 | THM | 0.0 | negative | TRS | EPR, 2var, guarded, stratified | sggs run | |
| SWV011-1 | UNSAT | 0.0 | positive | TRS | monadic, PVD, stratified | sggs run | |
| HWV035-2 | SAT | 0.0 | positive | TRS | sggs run | ||
| SYN087-1.003 | SAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SWV336-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SYN030-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SWV310-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| PUZ022-1 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| PUZ002-1 | UNSAT | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | flipped kangaroo |
| MSC015-1.010 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| MSC015-1.015 | UNSAT | 0.1 | positive | TRS | EPR, guarded, PVD, stratified | ||
| SYN925+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN057+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| LCL681+1.001 | CSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SWV248-2 | UNSAT | 0.33 | negative | TRS | sggs run | ||
| SYN405+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | flipped g |
| SYN724-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN311-1 | UNSAT | 0.25 | positive | TRS | |||
| SYN045-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| MSC015-1.030 | UNSAT | 1.0 | positive | TRS | EPR, guarded, PVD, stratified | ||
| SYN040+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| NLP116-1 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SYN394+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN318-1 | UNSAT | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN916+1 | CSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN053-1 | UNSAT | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SWV351-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SYN004-1.007 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SWV350-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| PUZ004-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| MGT036+3 | THM | 0.0 | positive | TRS | stratified | sggs run | |
| SYN372+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_p |
| SYN934+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN407+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| LCL230+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN304-1 | SAT | 0.0 | negative | TRS | stratified | sggs run | flipped s |
| MGT041-2 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SYN053+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN029-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| COL103-2 | UNSAT | 0.25 | negative | TRS | stratified | sggs run | |
| SEU163+3 | THM | 0.0 | positive | TRS | PVD | sggs run | flipped subset |
| NLP123+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN411+1 | THM | 0.0 | negative | TRS | EPR, 2var, stratified | sggs run | |
| SYN393+1.003 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SWV356-2 | UNSAT | 0.0 | positive | TRS | PVD, stratified | sggs run | |
| SWB003+2 | THM | 0.0 | positive | TRS | guarded, PVD, stratified | sggs run | |
| SYN057-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, guarded, PVD, stratified | sggs run | |
| PUZ009-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN062+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| LAT270-2 | UNSAT | 0.0 | positive | TRS | PVD, stratified | sggs run | |
| SWV334-2 | UNSAT | 0.0 | positive | TRS | PVD, stratified | sggs run | |
| SYN931+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| NLP122+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SET846-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| SYN924+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SWV009-1 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| SYN098-1.002 | UNSAT | 0.33 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| NLP094+1 | THM | 0.0 | positive | TRS | EPR, 2var | ||
| LAT261-2 | UNSAT | 0.2 | positive | TRS | guarded, ground, PVD, stratified | sggs run | |
| PUZ011-1 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SWV309-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SEU261+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| SYN367+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SWB001+2 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN956+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped a |
| SYN056-1 | SAT | 0.0 | positive | TRS | EPR, monadic, guarded, PVD, stratified | sggs run | |
| PUZ008-2 | UNSAT | 0.2 | positive | TRS | guarded, ground, PVD, stratified | sggs run | |
| LCL663+1.001 | CSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SWV299-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SWV337-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN388+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN947+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped p |
| LCL432-2 | UNSAT | 0.0 | positive | TRS | stratified | sggs run | |
| NLP121-1 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SYN724+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped s |
| SYN319+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| NLP123-1 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| LAT265-2 | UNSAT | 0.2 | positive | TRS | guarded, ground, PVD, stratified | sggs run | |
| SYN391+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| NLP120-1 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SYN055-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, guarded, PVD, stratified | sggs run | |
| SYN962+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYO525+1.030 | THM | 1.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN032-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN059+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| NLP122-1 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| HWV005-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| MSC011+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | flipped not_drunk |
| SYN008-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN056+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN389+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN953+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| MGT022+1 | THM | 0.0 | positive | TRS | stratified | sggs run | |
| LCL181+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN402+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN392+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| MGT032-2 | UNSAT | 0.0 | positive | TRS | stratified | sggs run | |
| SYN068+1 | THM | 0.0 | positive | TRS | EPR, 2var, stratified | sggs run | |
| SYN048+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| NLP121+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| LCL649+1.005 | CSAT | 0.0 | positive | TRS | EPR, 2var | ||
| LCL649+1.001 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| SYN063-1 | UNSAT | 0.0 | negative | TRS | EPR, monadic, 2var, guarded, stratified | sggs run | |
| SET899+1 | THM | 0.0 | positive | TRS | PVD | sggs run | flipped subset |
| SYN946+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped p |
| MGT022-1 | UNSAT | 0.0 | positive | TRS | stratified | sggs run | |
| MGT032+2 | THM | 0.0 | positive | TRS | stratified | sggs run | |
| SYN317+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_f |
| LCL181-2 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN068-1 | UNSAT | 0.0 | positive | TRS | stratified | sggs run | |
| PUZ013-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN009-4 | UNSAT | 0.0 | negative | TRS | EPR, guarded, PVD, stratified | sggs run | flipped m |
| SYN009-2 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | flipped q |
| SYN009-3 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | flipped q |
| HWV006-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN055+1 | UNK | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN974+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN395+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN977+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| MGT028+1 | THM | 0.0 | positive | TRS | sggs run | ||
| SYN941+1 | THM | 0.0 | negative | TRS | monadic, stratified | sggs run | flipped q |
| NLP116+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN010-1.005.005 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN058+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_q |
| LCL666+1.001 | THM | 0.0 | negative | TRS | EPR, 2var, stratified | sggs run | flipped p101 |
| HWV003-3 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| HWV008-2.002 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| PUZ035-4 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN398+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| PUZ037-2 | UNSAT | 0.2 | positive | TRS | EPR, guarded, PVD, stratified | ||
| PUZ037-3 | UNSAT | 0.2 | positive | TRS | EPR, guarded, PVD, stratified | ||
| PUZ037-1 | UNSAT | 0.2 | positive | TRS | EPR, guarded, PVD, stratified | ||
| SYN097-1.002 | UNSAT | 0.33 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| LAT264-2 | UNSAT | 0.2 | positive | TRS | guarded, ground, PVD, stratified | sggs run | |
| SYN403+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| COL101-2 | UNSAT | 0.0 | negative | TRS | stratified | sggs run | |
| SYN958+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | flipped a |
| NLP068+1 | CSAT | 0.0 | positive | TRS | EPR, 2var | sggs run | |
| SET856-2 | UNSAT | 0.2 | positive | TRS | guarded, ground, PVD | sggs run | |
| MGT030-1 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN950+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN970+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | flipped p |
| SYN929+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| NLP120+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN317-1 | SAT | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | flipped g |
| SYN054-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, guarded, PVD, stratified | sggs run | |
| SYN041+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| NLP001-1 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SYN368+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| PUZ128+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| LCL679+1.001 | CSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN041-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| PUZ016-2.005 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| PUZ016-2.004 | SAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| LCL436-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| MGT030+1 | THM | 0.0 | positive | TRS | sggs run | ||
| PUZ053-1 | SAT | 1.0 | positive | TRS | EPR, guarded, PVD, stratified | ||
| SYN054+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| NLP001+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| PUZ033-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN085-1.010 | UNSAT | 0.33 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN082+1 | THM | 0.0 | positive | TRS | sggs run | ||
| SYN045+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SWV291-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN935+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| PUZ015-2.006 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN920+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped h |
| LCL648+1.001 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| NUM285-1 | SAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| MGT036-3 | UNSAT | 0.0 | positive | TRS | stratified | sggs run | |
| SEU163+1 | THM | 0.0 | positive | TRS | PVD | sggs run | flipped subset |
| SYN949+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| SET915+1 | THM | 0.0 | positive | TRS | PVD | sggs run | flipped disjoint |
| SYN064+1 | THM | 0.0 | negative | TRS | EPR, 2var, stratified | sggs run | |
| SYN091-1.003 | SAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SWB002+2 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| SYN088-1.010 | UNSAT | 0.0 | negative | TRS | EPR, guarded, PVD, stratified | ||
| SYN082-1 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| MSC015-1.005 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| LCL440-2 | UNSAT | 0.0 | negative | TRS | stratified | sggs run | |
| SYN069-1 | UNSAT | 0.0 | positive | TRS | stratified | sggs run | |
| SYN001-1.005 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN959+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN951+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN046+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| MGT028-1 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN093-1.002 | UNSAT | 0.33 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN090-1.008 | UNSAT | 0.33 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| MSC015-1.020 | UNSAT | 0.5 | positive | TRS | EPR, guarded, PVD, stratified | ||
| MSC015-1.022 | UNSAT | 0.8 | positive | TRS | EPR, guarded, PVD, stratified | ||
| MSC015-1.025 | UNSAT | 1.0 | positive | TRS | EPR, guarded, PVD, stratified | ||
| MSC015-1.027 | UNSAT | 1.0 | positive | TRS | EPR, guarded, PVD, stratified | ||
| SWV349-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SYN927+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN092-1.003 | SAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN049+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_p |
| SYN944+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| SYN964+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN086-1.003 | SAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN981+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | flipped r |
| LCL230-2 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| PUZ060+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | flipped not_killed_by |
| SYO525+1.018 | THM | 0.5 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SWV264-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SYN945+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| PUZ054-1 | SAT | 0.0 | positive | TRS | sggs run | ||
| SYN046-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| PUZ035-1 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| PUZ035-2 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| PUZ035-3 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN722+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SWV331-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SWV341-2 | UNSAT | 0.0 | positive | TRS | PVD, stratified | sggs run | |
| HWV007-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| LCL646+1.001 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| SWV320-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| PUZ030-2 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN003-1.006 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN047-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| MGT022+2 | THM | 0.0 | positive | TRS | stratified | sggs run | |
| SYO525+1.015 | THM | 0.5 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN975+1 | THM | 0.0 | negative | TRS | EPR, 2var, stratified | sggs run | |
| SYN310-1 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| MGT022-2 | UNSAT | 0.0 | positive | TRS | stratified | sggs run | |
| GEO079-1 | UNSAT | 0.0 | negative | TRS | EPR, guarded, PVD, stratified | sggs run | |
| PUZ036-1.005 | UNSAT | 0.2 | positive | TRS | EPR, guarded, PVD, stratified | ||
| SYN011-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| LCL662+1.001 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| LCL437-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| SYN961+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN969+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SWV240-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| SYN725+1 | CSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN061-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_j |
| MGT041+2 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| SWV329-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SWV305-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN396+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| MSC007-1.008 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN378+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_p |
| SYN084+1 | THM | 0.0 | negative | TRS | monadic | sggs run | |
| NLP118-1 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SYN059-1 | SAT | 0.0 | positive | TRS | EPR, monadic, guarded, PVD, stratified | sggs run | |
| SYN063+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, guarded, stratified | sggs run | |
| HWV036-2 | SAT | 0.0 | positive | TRS | sggs run | ||
| SYN047+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SWV239-2 | UNSAT | 0.0 | negative | TRS | sggs run | flipped c_in | |
| LCL636+1.001 | THM | 0.0 | positive | TRS | EPR, 2var | sggs run | |
| SYN302-1.003 | SAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN358+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SWV333-2 | UNSAT | 0.0 | positive | TRS | PVD, stratified | sggs run | |
| SYN936+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, guarded, stratified | sggs run | |
| PUZ001-1 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| PUZ001-3 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| NLP114+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN385+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | flipped big_p |
| SYN063-2 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| TOP002-2 | UNSAT | 0.0 | positive | TRS | stratified | sggs run | flipped element_of_collection |
| SYN062-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, guarded, PVD, stratified | sggs run | |
| LCL664+1.001 | THM | 0.0 | negative | TRS | EPR, 2var, stratified | sggs run | |
| LCL645+1.001 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| LCL647+1.001 | CSAT | 0.0 | positive | TRS | EPR, 2var | sggs run | |
| NLP114-1 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SYN408+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN916-1 | SAT | 0.33 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| ANA041-2 | UNSAT | 0.0 | negative | TRS | stratified | sggs run | |
| SYN922+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN963+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| HWV008-2.001 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| NLP117+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYO525+1.027 | THM | 1.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYO525+1.024 | THM | 1.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYO525+1.021 | THM | 0.75 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN923+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| LCL648+1.005 | THM | 0.14 | positive | TRS | EPR, 2var | ||
| SYN096-1.008 | UNSAT | 0.0 | positive | TRS | EPR, monadic, guarded, PVD, stratified | sggs run | |
| SYN084-2 | UNSAT | 0.0 | negative | TRS | monadic | sggs run | |
| NLP118+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN960+1 | THM | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | sggs run | |
| SYN968+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SWV265-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SWV312-2 | UNSAT | 0.0 | positive | TRS | PVD | sggs run | |
| SYN089-1.002 | UNSAT | 0.33 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN397+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SWV364-2 | UNSAT | 0.0 | positive | TRS | sggs run | ||
| SYN954+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN357+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| HWV034-2 | SAT | 0.0 | positive | TRS | PVD, stratified | sggs run | |
| LCL667+1.001 | CSAT | 0.0 | negative | TRS | EPR, 2var, stratified | sggs run | |
| KRS004-1 | UNSAT | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| NLP117-1 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| SYN007+1.014 | THM | 0.67 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | ||
| SWV330-2 | UNSAT | 0.0 | positive | TRS | PVD, stratified | sggs run | |
| SYN094-1.005 | UNSAT | 0.33 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN976+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| SYN937+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, PVD, stratified | sggs run | |
| SYN387+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| SYN355+1 | THM | 0.0 | negative | TRS | EPR, monadic, 2var, stratified | sggs run | |
| PUZ028-6 | UNSAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| PUZ028-4 | SAT | 0.0 | positive | TRS | EPR, 2var, guarded, ground, PVD, stratified | sggs run | |
| PUZ028-2 | SAT | 0.0 | positive | TRS | EPR, guarded, PVD, stratified | sggs run | |
| PLA030-1 | SAT | 0.0 | negative | TRS | sggs run | ||
| NLP115+1 | CSAT | 0.0 | positive | TRS | EPR, 2var, guarded, PVD, stratified | ||
| SYN416+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run | |
| LCL435-2 | UNSAT | 0.0 | negative | TRS | sggs run | ||
| SYN978+1 | THM | 0.0 | positive | TRS | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
The following table lists all TPTP 7.2.0 problems which were detected as stratified by the script below. For each problem, we list its status and rating according to TPTP, and a list of other applicable decidability criteria. If the problem was solved by our SGGS prototype, there is a link to a trace of the successful derivation.
| problem | status | rating | properties | |
|---|---|---|---|---|
| SYN262-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN926+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN050+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| KRS010-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN501-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN323-1 | UNSAT | 0.0 | EPR, 2var, stratified | |
| GRP124-9.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP124-9.005 | SAT | 0.25 | EPR, stratified | |
| SYN384+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN209-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS024+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN242-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN225-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN064-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN967+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SET777-1 | SAT | 0.0 | stratified | sggs run |
| SET001-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN435+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN419-1 | SAT | 0.5 | EPR, stratified | |
| GRP123-2.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP128-3.004 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| GRP123-2.005 | SAT | 0.25 | EPR, stratified | sggs run |
| SYN005-1.010 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| NLP223-1 | SAT | 0.0 | stratified | |
| PUZ052-1 | SAT | 1.0 | EPR, guarded, PVD, stratified | |
| SYN515+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| CSR054+1 | THM | 0.0 | stratified | sggs run |
| MGT010+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN491-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN889-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SWB011+4 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SWV418-1.060 | UNSAT | 0.1 | EPR, stratified | |
| SWV419-1.010 | UNSAT | 0.3 | EPR, stratified | |
| SWV418-1.500 | UNSAT | 0.5 | EPR, stratified | |
| SWV422-1.065 | UNSAT | 0.1 | EPR, stratified | |
| SWV422-1.060 | UNSAT | 0.1 | EPR, stratified | |
| SYN535-1 | SAT | 0.0 | EPR, guarded, stratified | sggs run |
| SET788+1 | THM | 0.0 | EPR, 2var, stratified | |
| SYN528+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN437-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| SYN519-1 | SAT | 0.5 | EPR, stratified | |
| SYN453-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| SYN867-1 | SAT | 0.25 | EPR, guarded, stratified | |
| NLP239-1 | SAT | 0.0 | stratified | |
| SWB023+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SEV436-1 | SAT | 0.0 | stratified | |
| SYN061+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN495+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| AGT042+1 | SAT | 0.67 | EPR, 2var, guarded, PVD, stratified | |
| SYN215-1 | UNSAT | 0.1 | EPR, stratified | |
| NLP119-1 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| TOP021+1 | THM | 0.0 | stratified | sggs run |
| LCL680+1.001 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN058-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| KRS059+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN930+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SWV424-1.050 | UNSAT | 0.2 | EPR, stratified | |
| SYN414+1 | CSAT | 0.0 | EPR, 2var, stratified | |
| SYN466-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SWV422-1.305 | UNSAT | 0.6 | EPR, stratified | |
| NLP234-1 | SAT | 0.0 | stratified | |
| CSR062+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN401+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| GRA022+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN500-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SWB029+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN521-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SYN375+1 | THM | 0.0 | EPR, monadic, 2var, stratified | |
| SYN243-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV001-1 | UNSAT | 0.0 | EPR, stratified | |
| COL111-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN933+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| SWB014+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| CSR043+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| GRP128-4.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SWV421-1.460 | UNSAT | 0.7 | EPR, stratified | |
| GRP128-4.004 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN441-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| MGT009-1 | UNSAT | 0.0 | stratified | sggs run |
| SET006-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN533+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP124-6.005 | SAT | 0.25 | EPR, stratified | |
| GRP124-6.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| NLP119+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| PUZ014-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN108-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN028-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SET005-1 | UNSAT | 0.0 | stratified | |
| SWB015+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN514-1 | SAT | 0.5 | EPR, stratified | |
| SYN044-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN955+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN524+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN452-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN432+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN169-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN540-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SYN214-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP124-2.005 | SAT | 0.25 | EPR, stratified | sggs run |
| GRP124-2.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| KRS001-1 | UNSAT | 0.0 | stratified | |
| SYN322+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| KRS134+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| PLA031-1.005 | UNSAT | 0.5 | EPR, guarded, PVD, stratified | |
| PUZ056-2.027 | UNSAT | 1.0 | EPR, guarded, stratified | |
| PUZ056-2.022 | UNSAT | 1.0 | EPR, guarded, stratified | |
| LAT267-2 | UNSAT | 0.0 | EPR, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN439-1 | UNSAT | 0.2 | EPR, monadic, guarded, stratified | |
| SYN186-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN373+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN467-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN255-1 | UNSAT | 0.1 | EPR, stratified | |
| NLP115-1 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| MGT009+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| ANA042-2 | UNSAT | 0.0 | stratified | |
| GRP133-1.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN259-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| KRS137+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN362+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN928+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| TOP022+1 | THM | 0.0 | stratified | sggs run |
| SYN293-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN125-1 | UNSAT | 0.1 | EPR, stratified | |
| GRA019+1 | ? | 1.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN044+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| COL120-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN095-1.002 | UNSAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| GRA001-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN240-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| CSR069+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| NLP063-1 | SAT | 0.0 | stratified | sggs run |
| SET007-1 | UNSAT | 0.17 | stratified | |
| SYN318+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| KRS126+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN222-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS013-1 | UNSAT | 0.0 | stratified | |
| SYN406+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| KRS025+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| NLP048-1 | SAT | 0.0 | stratified | sggs run |
| SYN896-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SWV424-1.500 | UNSAT | 0.5 | EPR, stratified | |
| SYN942+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| GRP132-1.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | |
| LAT260-2 | UNSAT | 0.2 | guarded, ground, PVD, stratified | sggs run |
| SWV424-1.200 | UNSAT | 0.3 | EPR, stratified | |
| SYN343-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN477-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN834-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| LCL682+1.001 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN952+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SET836-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN813-1 | UNSAT | 0.2 | EPR, guarded, stratified | |
| SYN040-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| MSC008-1.002 | UNSAT | 0.0 | EPR, stratified | |
| SYN409+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN971+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN282-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN979+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| KRS053+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN493+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SET003-1 | UNSAT | 0.0 | stratified | |
| SWV422-1.365 | UNSAT | 0.7 | EPR, stratified | |
| SYN887-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN141-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP127-1.005 | SAT | 0.25 | EPR, stratified | sggs run |
| GRP127-1.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SWV011-1 | UNSAT | 0.0 | monadic, PVD, stratified | sggs run |
| SYN258-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN087-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| GRA026+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SWV418-1.580 | UNSAT | 0.6 | EPR, stratified | |
| SYN521+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SWV280-2 | UNSAT | 0.0 | stratified | |
| NLP236-1 | SAT | 0.0 | stratified | |
| KRS058+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| MSC018+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN030-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| PUZ022-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| GRP126-2.005 | SAT | 0.25 | EPR, stratified | sggs run |
| GRP126-2.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRA014+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN181-1 | UNSAT | 0.1 | EPR, stratified | |
| PUZ002-1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| MSC015-1.010 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| MSC015-1.015 | UNSAT | 0.1 | EPR, guarded, PVD, stratified | |
| GRA023+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN383+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN136-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN502-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| KRS012-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN257-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN203-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP123-6.005 | SAT | 0.25 | EPR, stratified | |
| SYN322-1 | SAT | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN524-1 | SAT | 0.0 | EPR, stratified | sggs run |
| KRS022+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN925+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN057+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| CSR035+1 | THM | 0.0 | stratified | sggs run |
| SET627+3 | THM | 0.0 | EPR, 2var, stratified | |
| SYN871-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| LCL681+1.001 | CSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN266-1 | UNSAT | 0.1 | EPR, stratified | |
| SWB031+4 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| CSR031+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| GRP129-4.004 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| GRP129-4.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN263-1 | UNSAT | 0.1 | EPR, stratified | |
| PLA003-1 | UNSAT | 0.0 | stratified | |
| SWV421-1.200 | UNSAT | 0.4 | EPR, stratified | |
| SYN405+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN724-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN045-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN107-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN140-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV418-1.300 | UNSAT | 0.4 | EPR, stratified | |
| SYN418-1 | SAT | 0.5 | EPR, stratified | |
| SYN972+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| MSC013+1 | CSAT | 0.33 | EPR, 2var, stratified | sggs run |
| MSC015-1.030 | UNSAT | 1.0 | EPR, guarded, PVD, stratified | |
| SYN231-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN479-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN538-1 | SAT | 0.0 | EPR, stratified | |
| SYN880-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| GRP123-9.004 | SAT | 0.25 | EPR, stratified | |
| GRP123-9.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP123-1.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SYN040+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| NLP116-1 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN256-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN394+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN460-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN877-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| NLP238-1 | SAT | 0.0 | stratified | |
| NLP235-1 | SAT | 0.0 | stratified | |
| NLP063+1 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN318-1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN730+1 | THM | 0.0 | stratified | sggs run |
| SYN823-1 | SAT | 0.25 | EPR, guarded, stratified | |
| SYN916+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN053-1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN004-1.007 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN532+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRA024+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN079-1 | UNSAT | 0.0 | guarded, PVD, stratified | sggs run |
| SYN442-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| CSR045+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| PUZ004-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| GRP125-1.004 | SAT | 0.25 | EPR, stratified | sggs run |
| GRP125-1.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| COL113-2 | UNSAT | 0.0 | stratified | sggs run |
| MGT036+2 | THM | 0.0 | stratified | |
| MGT036+3 | THM | 0.0 | stratified | sggs run |
| MGT036+1 | THM | 0.0 | stratified | |
| KRS016-1 | SAT | 0.0 | stratified | sggs run |
| SYN462-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN200-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV422-1.460 | UNSAT | 0.7 | EPR, stratified | |
| SWV422-1.465 | UNSAT | 0.7 | EPR, stratified | |
| SYN870-1 | SAT | 0.25 | EPR, guarded, stratified | |
| SWB026+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN538+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN372+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN934+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SET828-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN407+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| LCL230+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN520-1 | SAT | 0.5 | EPR, stratified | |
| SYN227-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN070+1 | THM | 0.0 | EPR, 2var, guarded, stratified | |
| SYN819-1 | UNSAT | 0.2 | EPR, guarded, stratified | |
| GRP132-2.002 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN304-1 | SAT | 0.0 | stratified | sggs run |
| SYN144-1 | UNSAT | 0.1 | EPR, stratified | |
| CSR036+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SWV424-1.100 | UNSAT | 0.3 | EPR, stratified | |
| SYN833-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| MGT041-2 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| KRS093+1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN539-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SYN053+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| PUZ015-3 | SAT | 0.33 | stratified | |
| SYN029-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN435-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| SYN079+1 | THM | 0.0 | guarded, PVD, stratified | sggs run |
| SYN515-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SYN123-1 | UNSAT | 0.1 | EPR, stratified | |
| COL103-2 | UNSAT | 0.25 | stratified | sggs run |
| SYN497+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SWV422-1.400 | UNSAT | 0.7 | EPR, stratified | |
| SWB022+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| KRS170+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SWB025+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| NLP123+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SET625+3 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| GRP123-7.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP123-7.005 | SAT | 0.25 | EPR, stratified | |
| GRP123-8.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP123-8.004 | SAT | 0.25 | EPR, stratified | |
| SYN411+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN124-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS027+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN393+1.003 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| MSC008-2.002 | UNSAT | 0.0 | EPR, stratified | |
| NLP231-1 | SAT | 0.0 | stratified | |
| SWV356-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SWB003+4 | THM | 0.0 | stratified | sggs run |
| SWB003+2 | THM | 0.0 | guarded, PVD, stratified | sggs run |
| SWV420-1.020 | UNSAT | 0.5 | EPR, stratified | |
| SYN463-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| SYN057-1 | UNSAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| KRS130+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| PUZ009-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN062+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN190-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS065+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN547-1 | SAT | 0.25 | EPR, stratified | |
| SYN446-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| KRS015-1 | UNSAT | 0.0 | stratified | |
| LAT270-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN542-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| SET829-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN174-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN292-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN217-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN204-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS104+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SWV334-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN377+1 | THM | 0.0 | EPR, monadic, 2var, stratified | |
| SYN931+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| NLP122+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN315+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| KRS125+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN924+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SET004-1 | UNSAT | 0.0 | stratified | |
| CSR034+1 | THM | 0.14 | stratified | sggs run |
| SYN098-1.002 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| KRS091+1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SET043-5 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SWB030+2 | UNSAT | 0.0 | guarded, stratified | |
| SWB030+4 | SAT | 0.0 | stratified | sggs run |
| SYN223-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN493-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| MGT001-1 | UNSAT | 0.0 | stratified | sggs run |
| LAT261-2 | UNSAT | 0.2 | guarded, ground, PVD, stratified | sggs run |
| PUZ011-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SWV420-1.005 | UNSAT | 0.2 | EPR, stratified | |
| SYN476-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| GRP134-1.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| PUZ010-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | |
| KRS019+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN957+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN973+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| SYN732+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN127-1 | UNSAT | 0.1 | EPR, stratified | |
| SEU261+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN367+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| KRS092+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| NLP067+1 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN279-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN420-1 | SAT | 0.25 | EPR, stratified | |
| SYN185-1 | UNSAT | 0.1 | EPR, stratified | |
| SWB001+2 | THM | 0.0 | EPR, 2var, guarded, ground, PVD, stratified | sggs run |
| SWB001+4 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN956+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN315-1 | UNSAT | 0.0 | monadic, stratified | |
| GRP133-1.004 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN527+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN056-1 | SAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| SYN869-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN440-1 | UNSAT | 0.1 | EPR, monadic, guarded, stratified | |
| PUZ008-2 | UNSAT | 0.2 | guarded, ground, PVD, stratified | sggs run |
| LCL663+1.001 | CSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN731+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| GRP129-1.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| GRP129-1.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| GRP127-2.006 | UNSAT | 0.0 | EPR, stratified | |
| KRS135+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN175-1 | UNSAT | 0.1 | EPR, stratified | |
| MGT001+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN388+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| GRA017+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN947+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| KRS041+1 | SAT | 0.67 | EPR, monadic, 2var, stratified | |
| SYN891-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN836-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN899-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SWV424-1.300 | UNSAT | 0.5 | EPR, stratified | |
| LCL432-2 | UNSAT | 0.0 | stratified | sggs run |
| NLP121-1 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN724+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| GRP132-2.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | |
| SYN248-1 | UNSAT | 0.1 | EPR, stratified | |
| GRA018+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN289-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN224-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV422-1.205 | UNSAT | 0.5 | EPR, stratified | |
| SWV422-1.200 | UNSAT | 0.5 | EPR, stratified | |
| GRP123-6.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SYN497-1 | SAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| NLP059+1 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN433+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN875-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN267-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN319+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| NLP123-1 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| LAT265-2 | UNSAT | 0.2 | guarded, ground, PVD, stratified | sggs run |
| CSR059+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN898-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| GRP123-1.005 | SAT | 0.25 | EPR, stratified | sggs run |
| SYN539+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN516-1 | SAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN106-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN281-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV420-1.045 | UNSAT | 0.6 | EPR, stratified | |
| SWV420-1.040 | UNSAT | 0.6 | EPR, stratified | |
| SYN876-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN463+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN495-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| SYN275-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN230-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN431-1 | SAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| SET062+3 | THM | 0.0 | EPR, 2var, stratified | |
| SYN410+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN391+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN499-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| NLP120-1 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN055-1 | UNSAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| SYN480-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN251-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN962+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN517+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN131-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| GRP124-4.005 | SAT | 0.25 | EPR, stratified | sggs run |
| GRP124-4.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SYN461-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN176-1 | UNSAT | 0.1 | EPR, stratified | |
| SYO525+1.030 | THM | 1.0 | EPR, 2var, guarded, PVD, stratified | |
| GRP135-2.002 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN032-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN150-1 | UNSAT | 0.1 | EPR, stratified | |
| CSR061+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| CSR032+1 | THM | 0.0 | stratified | sggs run |
| LCL685+1.001 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SWB024+4 | CSAT | 0.0 | stratified | sggs run |
| PLA031-1.007 | UNSAT | 0.7 | EPR, guarded, PVD, stratified | |
| PLA031-1.004 | UNSAT | 0.4 | EPR, guarded, PVD, stratified | |
| SYN291-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| PLA031-1.003 | UNSAT | 0.2 | EPR, guarded, PVD, stratified | |
| SYN434+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN516+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SWV419-1.045 | UNSAT | 0.7 | EPR, stratified | |
| NLP067-1 | SAT | 0.0 | stratified | sggs run |
| CSR053+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SWV421-1.400 | UNSAT | 0.7 | EPR, stratified | |
| SYN059+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| GRA013+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN201-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS124+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| NLP122-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| GRA020+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN261-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS090+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SET009-1 | UNSAT | 0.0 | stratified | |
| SWB018+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN220-1 | UNSAT | 0.1 | EPR, stratified | |
| PUZ017-1 | UNSAT | 0.0 | EPR, stratified | |
| SYN517-1 | SAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN459-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| GRP131-1.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | |
| GRP131-1.002 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| LAT005-1 | UNSAT | 0.0 | EPR, stratified | |
| PUZ012-1 | UNSAT | 0.0 | EPR, stratified | |
| MSC011+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN008-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN056+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN475-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN109-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS018+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN283-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN541+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN389+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| GRP127-4.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP127-4.005 | SAT | 0.25 | EPR, stratified | sggs run |
| SYN953+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| MGT022+1 | THM | 0.0 | stratified | sggs run |
| SYN189-1 | UNSAT | 0.1 | EPR, stratified | |
| LCL181+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN366+1 | THM | 0.0 | EPR, 2var, guarded, stratified | |
| SYN250-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN402+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SWV419-1.020 | UNSAT | 0.6 | EPR, stratified | |
| SYN392+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| MGT032-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN068+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN048+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| KRS003-1 | UNSAT | 0.0 | stratified | |
| SYN421-1 | SAT | 0.25 | EPR, stratified | |
| SYN721+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| NLP138-1 | SAT | 0.0 | stratified | |
| SYN915+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| KRS054+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| NLP121+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN216-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN170-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN298-1 | UNSAT | 0.1 | EPR, stratified | |
| LCL649+1.001 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN290-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN918+1 | THM | 0.0 | EPR, monadic, 2var, stratified | |
| SYN468-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN507-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| NLP230-1 | SAT | 0.0 | stratified | |
| SYN111-1 | UNSAT | 0.1 | EPR, stratified | |
| SET780-1 | SAT | 0.0 | stratified | sggs run |
| SYN063-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| GRA016+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN946+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| KRS062+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SWV422-1.300 | UNSAT | 0.7 | EPR, stratified | |
| SYN295-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| NLP161-1 | SAT | 0.0 | stratified | |
| SYN917+1 | THM | 0.0 | EPR, 2var, stratified | |
| SYN546-1 | SAT | 0.5 | EPR, stratified | |
| SYN221-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN447-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| MGT022-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN191-1 | UNSAT | 0.1 | EPR, stratified | |
| MGT032+2 | THM | 0.0 | stratified | sggs run |
| GEO169+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN317+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| KRS123+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| GRA025+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| LCL181-2 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN205-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV419-1.005 | UNSAT | 0.0 | EPR, stratified | |
| SYN878-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN474-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN068-1 | UNSAT | 0.0 | stratified | sggs run |
| SWV422-1.500 | UNSAT | 0.7 | EPR, stratified | |
| SWV422-1.505 | UNSAT | 0.7 | EPR, stratified | |
| PUZ013-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN009-4 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN009-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN009-2 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN009-3 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYO639+1 | SAT | 0.67 | EPR, 2var, stratified | sggs run |
| KRS100+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN286-1 | UNSAT | 0.1 | EPR, stratified | |
| NLP221-1 | SAT | 0.0 | stratified | |
| SYN055+1 | CAXS | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| GRP134-2.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| GRP134-2.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| NLP064+1 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN129-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP128-2.004 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN404+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN974+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN188-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN835-1 | SAT | 0.25 | EPR, guarded, stratified | |
| SYN142-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN436+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN164-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN395+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| MSC014+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN531-1 | SAT | 0.0 | EPR, stratified | |
| GRP126-3.005 | SAT | 0.25 | EPR, stratified | sggs run |
| SYN233-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN254-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN485-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN219-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN977+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN522+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SET833-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN423-1 | SAT | 0.25 | EPR, stratified | |
| SYN278-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN424-1 | SAT | 0.5 | EPR, stratified | |
| SWV424-1.450 | UNSAT | 0.5 | EPR, stratified | |
| SYN145-1 | UNSAT | 0.1 | EPR, stratified | |
| SET043+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| NLP237-1 | SAT | 0.0 | stratified | |
| SYN294-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN360+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN116-1 | UNSAT | 0.1 | EPR, stratified | |
| SYO645+1 | SAT | 0.67 | EPR, 2var, stratified | sggs run |
| SYN921+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN456+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN941+1 | THM | 0.0 | monadic, stratified | sggs run |
| KRS067+1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN155-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN966+1 | THM | 0.0 | EPR, 2var, stratified | |
| SYN179-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN210-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN099-1.003 | UNSAT | 0.0 | EPR, monadic, stratified | sggs run |
| NLP116+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN285-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN010-1.005.005 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN490+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| GRP123-3.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP135-1.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN301-1 | UNSAT | 0.1 | EPR, stratified | |
| SWB004+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN890-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN058+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYN509-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN284-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN202-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN541-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SWB032+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SWB032+2 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| LCL684+1.001 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| LCL666+1.001 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN265-1 | UNSAT | 0.1 | EPR, stratified | |
| PUZ018-1 | UNSAT | 0.0 | EPR, stratified | |
| SYN438-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| KRS066+1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| HWV003-3 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| KRS064+1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SWV421-1.405 | UNSAT | 0.7 | EPR, stratified | |
| SYN249-1 | UNSAT | 0.1 | EPR, stratified | |
| GRA021+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| GRP130-2.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN510-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| KRS103+1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | |
| SYN400+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| SYN370+1 | THM | 0.0 | stratified | sggs run |
| GRP124-3.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SYN895-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| GRP130-2.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| PUZ056-2.030 | UNSAT | 1.0 | EPR, guarded, stratified | |
| PUZ056-2.025 | UNSAT | 1.0 | EPR, guarded, stratified | |
| PUZ056-2.020 | UNSAT | 1.0 | EPR, guarded, stratified | |
| SYN048-1 | UNSAT | 0.0 | monadic, stratified | sggs run |
| SYN883-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN398+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SWV421-1.100 | UNSAT | 0.3 | EPR, stratified | |
| PUZ037-2 | UNSAT | 0.2 | EPR, guarded, PVD, stratified | |
| PUZ037-3 | UNSAT | 0.2 | EPR, guarded, PVD, stratified | |
| PUZ037-1 | UNSAT | 0.2 | EPR, guarded, PVD, stratified | |
| SWV421-1.105 | UNSAT | 0.4 | EPR, stratified | |
| CSR037+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SWB016+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| GRP128-1.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN097-1.002 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN456-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| KRS094+1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN532-1 | SAT | 0.0 | EPR, stratified | sggs run |
| LAT264-2 | UNSAT | 0.2 | guarded, ground, PVD, stratified | sggs run |
| SYN232-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN149-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| GRP123-3.004 | SAT | 0.25 | EPR, stratified | sggs run |
| SYN134-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN237-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN218-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN512-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN403+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| CSR048+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| COL101-2 | UNSAT | 0.0 | stratified | sggs run |
| CSR068+1 | THM | 0.0 | stratified | sggs run |
| GRP128-1.004 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| CSR042+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN958+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| CSR029+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN252-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN069+1 | CAXS | 0.0 | EPR, 2var, stratified | |
| SYN950+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN288-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN882-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN970+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYN193-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN844-1 | UNSAT | 0.2 | EPR, guarded, stratified | |
| SYN929+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SWV421-1.205 | UNSAT | 0.5 | EPR, stratified | |
| SYN271-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN443-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| NLP120+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN207-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN199-1 | UNSAT | 0.1 | EPR, stratified | |
| SET573+3 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN317-1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN733+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN919+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN054-1 | UNSAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| SYN041+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| CSR047+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN455+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN132-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| CSR056+1 | THM | 0.0 | stratified | sggs run |
| PUZ056-2.010 | UNSAT | 0.3 | EPR, guarded, stratified | |
| CSR028+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| GRP127-3.005 | SAT | 0.25 | EPR, stratified | sggs run |
| SWB002+4 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN112-1 | UNSAT | 0.1 | EPR, stratified | |
| NLP001-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN368+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SWV419-1.040 | UNSAT | 0.7 | EPR, stratified | |
| PUZ128+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| LCL679+1.001 | CSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN041-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN508-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN192-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN545-1 | SAT | 0.25 | EPR, stratified | |
| SYN444-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN159-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN478-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| KRS128+1 | UNSAT | 0.0 | EPR, 2var, stratified | sggs run |
| PUZ016-2.005 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| PUZ016-2.004 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| GRP125-4.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| MSC008-1.010 | SAT | 1.0 | EPR, stratified | |
| PUZ061+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN101-1.002.002 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN473-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| PUZ053-1 | SAT | 1.0 | EPR, guarded, PVD, stratified | |
| SYN049-1 | UNSAT | 0.0 | monadic, stratified | sggs run |
| CSR065+1 | THM | 0.0 | stratified | sggs run |
| SYN052-1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | |
| GRP125-2.004 | SAT | 0.25 | EPR, stratified | sggs run |
| GRP125-2.005 | UNSAT | 0.0 | EPR, stratified | |
| SYN130-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN274-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN054+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| NLP001+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| NLP065+1 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN148-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN543-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| PUZ030-1 | UNSAT | 0.0 | EPR, monadic, stratified | sggs run |
| SYN455-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| GRP130-4.004 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN050-1 | UNSAT | 0.0 | monadic, stratified | sggs run |
| SYN874-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| GRP128-2.006 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | |
| PUZ033-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| LAT005-2 | UNSAT | 0.0 | EPR, stratified | |
| GRP130-4.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN167-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN246-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN536-1 | SAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN085-1.010 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN236-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN845-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| COM001-1 | UNSAT | 0.0 | PVD, stratified | sggs run |
| CSR030+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN412+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN494-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| COL105-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN482-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SWB008+4 | CSAT | 0.0 | stratified | sggs run |
| SYN726-1 | UNSAT | 0.0 | EPR, stratified | |
| SYN045+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| KRS171+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SWV418-1.100 | UNSAT | 0.1 | EPR, stratified | |
| NLP232-1 | SAT | 0.0 | stratified | |
| SYN422-1 | SAT | 0.5 | EPR, stratified | |
| SWB006+4 | CSAT | 0.0 | stratified | sggs run |
| SYN113-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV422-1.105 | UNSAT | 0.3 | EPR, stratified | |
| SYN935+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| NLP061-1 | SAT | 0.0 | stratified | sggs run |
| SYN100-1.005 | UNSAT | 0.0 | EPR, monadic, stratified | |
| PUZ015-2.006 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN920+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| LCL648+1.001 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| MGT036-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN126-1 | UNSAT | 0.1 | EPR, stratified | |
| MGT036-2 | UNSAT | 0.0 | stratified | |
| NUM285-1 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| MGT036-3 | UNSAT | 0.0 | stratified | sggs run |
| SWV421-1.465 | UNSAT | 0.7 | EPR, stratified | |
| SYN872-1 | SAT | 0.25 | EPR, guarded, stratified | |
| SYN445-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN184-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN431+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN949+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN458+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN469-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN506-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN156-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS169+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| PUZ056-2.015 | UNSAT | 0.9 | EPR, guarded, stratified | |
| SWV422-1.405 | UNSAT | 0.7 | EPR, stratified | |
| SYN064+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN902-1 | SAT | 0.25 | EPR, guarded, stratified | |
| SYN884-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN052+1 | THM | 0.0 | EPR, monadic, 2var, stratified | |
| GRP123-4.004 | SAT | 0.25 | EPR, stratified | |
| GRP123-4.003 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP126-4.005 | SAT | 0.25 | EPR, stratified | sggs run |
| GRP126-4.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SYN091-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SWB005+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN893-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SWB005+2 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN171-1 | UNSAT | 0.1 | EPR, stratified | |
| NLP165-1 | SAT | 0.0 | stratified | |
| SWB002+2 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN088-1.010 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | |
| NLP064-1 | SAT | 0.0 | stratified | sggs run |
| SYN160-1 | UNSAT | 0.1 | EPR, stratified | |
| MSC015-1.005 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| LCL440-2 | UNSAT | 0.0 | stratified | sggs run |
| KRS166+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN533-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SYN244-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| NLP059-1 | SAT | 0.0 | stratified | sggs run |
| SYN371+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SWB010+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SET818-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN103-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN280-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN470-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN069-1 | UNSAT | 0.0 | stratified | sggs run |
| GRP128-3.005 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | |
| SYN213-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN001-1.005 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN173-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN166-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN183-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN451-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| GRP131-2.002 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN235-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN163-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS002-1 | UNSAT | 0.0 | stratified | |
| MSC019+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN177-1 | UNSAT | 0.1 | EPR, stratified | |
| KRS131+1 | THM | 0.0 | EPR, 2var, stratified | |
| KRS139+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| CSR049+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| GRP134-1.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN438+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN959+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN951+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN046+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN093-1.002 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN277-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN090-1.008 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN464-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| SYN118-1 | UNSAT | 0.1 | EPR, stratified | |
| MSC015-1.020 | UNSAT | 0.5 | EPR, guarded, PVD, stratified | |
| MSC015-1.022 | UNSAT | 0.8 | EPR, guarded, PVD, stratified | |
| MSC015-1.025 | UNSAT | 1.0 | EPR, guarded, PVD, stratified | |
| MSC015-1.027 | UNSAT | 1.0 | EPR, guarded, PVD, stratified | |
| SYN827-1 | SAT | 0.25 | EPR, guarded, stratified | |
| GRP131-2.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | |
| SYN001+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| SYN927+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN092-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN151-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN454+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| GRP135-2.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | |
| PLA031-1.006 | UNSAT | 0.7 | EPR, guarded, PVD, stratified | |
| PLA031-1.002 | UNSAT | 0.1 | EPR, guarded, PVD, stratified | |
| PLA031-1.001 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | |
| SYN198-1 | UNSAT | 0.1 | EPR, stratified | |
| PLA031-1.008 | UNSAT | 1.0 | EPR, guarded, PVD, stratified | |
| CSR074+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYO640+1 | SAT | 0.67 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN892-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN049+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| KRS023+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN226-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN944+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN964+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN086-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN897-1 | UNSAT | 0.2 | EPR, guarded, stratified | |
| SET011-1 | UNSAT | 0.17 | stratified | |
| SEU275+1 | THM | 0.0 | monadic, stratified | sggs run |
| SYN981+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN152-1 | UNSAT | 0.1 | EPR, stratified | |
| LCL230-2 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| NLP060-1 | SAT | 0.0 | stratified | sggs run |
| CSR055+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SWB021+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| NLP065-1 | SAT | 0.0 | stratified | sggs run |
| PUZ060+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN490-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| SYO525+1.018 | THM | 0.5 | EPR, 2var, guarded, PVD, stratified | |
| GRA015+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN536+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN433-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | |
| SWB012+4 | CSAT | 0.0 | stratified | sggs run |
| SYN945+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN300-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN268-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN496+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYN346+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| KRS165+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN046-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| GRP124-3.005 | SAT | 0.25 | EPR, stratified | |
| GRP125-4.004 | SAT | 0.25 | EPR, stratified | sggs run |
| PUZ035-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| PUZ035-2 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN498-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| GRP129-2.004 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN722+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SWV341-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN496-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| SWV421-1.360 | UNSAT | 0.7 | EPR, stratified | |
| SYN857-1 | UNSAT | 0.2 | EPR, guarded, stratified | |
| SWV421-1.365 | UNSAT | 0.7 | EPR, stratified | |
| LCL646+1.001 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| GRP127-3.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SYN158-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN162-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN511-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SWB019+4 | SAT | 0.33 | stratified | sggs run |
| PUZ030-2 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SWV418-1.700 | UNSAT | 0.6 | EPR, stratified | |
| SYN239-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SWV421-1.065 | UNSAT | 0.1 | EPR, stratified | |
| SET008-1 | UNSAT | 0.0 | stratified | |
| KRS056+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN523+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SWV421-1.060 | UNSAT | 0.1 | EPR, stratified | |
| GRP124-7.005 | SAT | 0.25 | EPR, stratified | |
| SYN888-1 | SAT | 0.25 | EPR, guarded, stratified | |
| SET027+3 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN128-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN003-1.006 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN047-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN206-1 | UNSAT | 0.1 | EPR, stratified | |
| MGT022+2 | THM | 0.0 | stratified | sggs run |
| SYN428-1 | SAT | 0.25 | EPR, stratified | |
| SYN494+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYO525+1.015 | THM | 0.5 | EPR, 2var, guarded, PVD, stratified | |
| SYN489-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN975+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN471-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN430+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SWB028+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SET835-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN462+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN114-1 | UNSAT | 0.1 | EPR, stratified | |
| PUZ029-1 | UNSAT | 0.0 | EPR, monadic, stratified | sggs run |
| SWB013+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN900-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN270-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN153-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN253-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN529-1 | SAT | 0.0 | EPR, stratified | |
| KRS020+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN535+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SWV421-1.300 | UNSAT | 0.6 | EPR, stratified | |
| SWV421-1.305 | UNSAT | 0.7 | EPR, stratified | |
| SYN178-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN522-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SYN296-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP124-1.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| GRP124-1.005 | SAT | 0.25 | EPR, stratified | sggs run |
| SYN505-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN323+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| KRS168+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| MGT022-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN208-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN901-1 | UNSAT | 0.2 | EPR, guarded, stratified | |
| SYN157-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV420-1.035 | UNSAT | 0.6 | EPR, stratified | |
| SWV420-1.030 | UNSAT | 0.5 | EPR, stratified | |
| PUZ018-2 | SAT | 0.25 | EPR, stratified | |
| SYN269-1 | UNSAT | 0.1 | EPR, stratified | |
| GEO079-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| PUZ036-1.005 | UNSAT | 0.2 | EPR, guarded, PVD, stratified | |
| GRP133-2.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN147-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN811-1 | SAT | 0.25 | EPR, guarded, stratified | |
| NLP163-1 | SAT | 0.0 | stratified | |
| SYN544-1 | SAT | 0.0 | EPR, stratified | |
| SYN196-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN011-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN245-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| LCL662+1.001 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| GRP124-8.005 | SAT | 0.25 | EPR, stratified | |
| GRP124-8.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SYN481-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| KRS060+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| NLP222-1 | SAT | 0.0 | stratified | |
| SET002-1 | UNSAT | 0.0 | stratified | |
| SYN961+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN856-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN523-1 | SAT | 0.0 | EPR, stratified | sggs run |
| PUZ019-1 | UNSAT | 0.0 | EPR, stratified | |
| SYN969+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN102-1.007.007 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | |
| SYN725+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN061-1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| CSR033+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| GRP130-3.004 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| CSR051+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN472-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| MGT041+2 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN104-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN161-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN430-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| SYN881-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN143-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN396+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| MSC007-1.008 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN518-1 | SAT | 0.5 | EPR, stratified | |
| SYN915-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| SYN378+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SWB035+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN154-1 | UNSAT | 0.1 | EPR, stratified | |
| NLP131-1 | SAT | 0.0 | stratified | |
| SYN137-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN454-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN117-1 | UNSAT | 0.1 | EPR, stratified | |
| NLP118-1 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN287-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN399+1 | THM | 0.0 | EPR, monadic, 2var, stratified | |
| SWV420-1.010 | UNSAT | 0.4 | EPR, stratified | |
| SYN537-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SYN133-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN059-1 | SAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| SYN212-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN063+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| NLP233-1 | SAT | 0.0 | stratified | |
| PUZ056-2.005 | UNSAT | 0.0 | EPR, guarded, stratified | |
| SYN047+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN721-1 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN451+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN820-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN540+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SYN483-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYO606+1 | THM | 0.29 | EPR, 2var, stratified | |
| NLP060+1 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN302-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN504-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN358+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| CSR026+1 | THM | 0.0 | stratified | sggs run |
| SWV333-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| CSR057+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN936+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| PUZ001-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| PUZ001-3 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN426-1 | SAT | 0.5 | EPR, stratified | |
| SYN448-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SET827-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN534+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| NLP114+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN110-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN197-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN873-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SET574+3 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| MGT008-1 | UNSAT | 0.0 | stratified | sggs run |
| SYO579+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN051+1 | THM | 0.0 | EPR, monadic, 2var, stratified | |
| SYN939+1 | THM | 0.0 | monadic, stratified | |
| SYN980+1 | THM | 0.0 | stratified | |
| SYN513-1 | SAT | 0.5 | EPR, stratified | |
| SYN385+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN228-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN458-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN390+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| SYN537+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SYN449+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN063-2 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN484-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| KRS164+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN879-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SET826-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN356+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SWB009+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN276-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP125-3.005 | UNSAT | 0.0 | EPR, stratified | |
| GRP125-3.004 | SAT | 0.25 | EPR, stratified | sggs run |
| SET778-1 | SAT | 0.0 | stratified | |
| TOP002-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN122-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP133-2.004 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| GRP130-1.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| GRP130-1.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN442+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN139-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN487-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN120-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN062-1 | UNSAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| MSC006-1 | UNSAT | 0.0 | EPR, stratified | |
| SYN526+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| LCL664+1.001 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| LCL645+1.001 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN187-1 | UNSAT | 0.1 | EPR, stratified | |
| NLP114-1 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SWV421-1.505 | UNSAT | 0.7 | EPR, stratified | |
| SWV421-1.500 | UNSAT | 0.7 | EPR, stratified | |
| SYN720-1 | SAT | 0.0 | EPR, stratified | |
| SYN450-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN492+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYN182-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN530-1 | SAT | 0.25 | EPR, stratified | |
| SYN408+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| KRS132+1 | THM | 0.0 | EPR, 2var, stratified | |
| SYN060+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN241-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN529+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN234-1 | UNSAT | 0.1 | EPR, stratified | |
| SET819-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN916-1 | SAT | 0.33 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN051-1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | |
| ANA041-2 | UNSAT | 0.0 | stratified | sggs run |
| MGT010-1 | UNSAT | 0.0 | stratified | sggs run |
| SET010-1 | UNSAT | 0.17 | stratified | |
| SWV420-1.050 | UNSAT | 0.7 | EPR, stratified | |
| SYN449-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| SYN427-1 | SAT | 0.5 | EPR, stratified | |
| SYN346-1 | UNSAT | 0.0 | stratified | sggs run |
| SYN260-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| GRP126-3.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SWV422-1.100 | UNSAT | 0.4 | EPR, stratified | |
| SYN172-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN527-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SWV424-1.350 | UNSAT | 0.5 | EPR, stratified | |
| SWB020+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN273-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN135-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN465-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN119-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP124-7.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| KRS021+1 | SAT | 0.0 | EPR, 2var, stratified | sggs run |
| GRP129-2.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN922+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN963+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| CSR073+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SYN138-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN731-1 | UNSAT | 0.0 | stratified | |
| SWV422-1.360 | UNSAT | 0.7 | EPR, stratified | |
| SYN264-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN436-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN526-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SWB007+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN229-1 | UNSAT | 0.1 | EPR, stratified | |
| SYO582+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN932+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| NLP117+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SET047-5 | UNSAT | 0.0 | stratified | |
| SYN297-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYO525+1.027 | THM | 1.0 | EPR, 2var, guarded, PVD, stratified | |
| SYO525+1.024 | THM | 1.0 | EPR, 2var, guarded, PVD, stratified | |
| SYO525+1.021 | THM | 0.75 | EPR, 2var, guarded, PVD, stratified | |
| SYN450+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN923+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN321-1 | UNSAT | 0.0 | EPR, stratified | |
| SYN492-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| KRS061+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN530+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN940+1 | THM | 0.0 | monadic, stratified | |
| SYN060-1 | UNSAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN096-1.008 | UNSAT | 0.0 | EPR, monadic, guarded, PVD, stratified | sggs run |
| SET779-1 | SAT | 0.0 | stratified | sggs run |
| SYN307-1 | SAT | 0.25 | EPR, stratified | |
| NLP118+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN960+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| SWB020+2 | THM | 0.14 | EPR, 2var, stratified | |
| KRS141+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN115-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN968+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN868-1 | SAT | 0.25 | EPR, guarded, stratified | |
| SWV419-1.050 | UNSAT | 0.7 | EPR, stratified | |
| GRP127-2.005 | SAT | 0.25 | EPR, stratified | sggs run |
| SYN121-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN089-1.002 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN432-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN397+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN531+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN105-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN195-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN361+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SWV424-1.400 | UNSAT | 0.5 | EPR, stratified | |
| SYN954+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SET832-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN425-1 | SAT | 0.5 | EPR, stratified | |
| SYN886-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYN525+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN376+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN379+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN357+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN486-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| NLP136-1 | SAT | 0.0 | stratified | |
| SYN146-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| HWV034-2 | SAT | 0.0 | PVD, stratified | sggs run |
| HWV034-1 | SAT | 0.0 | PVD, stratified | sggs run |
| SYN457-1 | UNSAT | 0.1 | EPR, monadic, guarded, stratified | |
| KRS055+1 | SAT | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN491+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SYN443+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | |
| SWB017+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| CSR067+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| LCL667+1.001 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| KRS004-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| GRP132-1.002 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN434-1 | SAT | 0.25 | EPR, monadic, guarded, stratified | |
| SYN534-1 | SAT | 0.0 | EPR, stratified | sggs run |
| SYN211-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN238-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SYN843-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| GRP129-3.005 | SAT | 0.25 | EPR, guarded, PVD, stratified | |
| SYN194-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP001-5 | UNSAT | 0.0 | EPR, stratified | sggs run |
| NLP117-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| CSR025+1 | THM | 0.0 | EPR, 2var, guarded, PVD, stratified | sggs run |
| GRP130-3.003 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN272-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN528-1 | SAT | 0.0 | EPR, stratified | sggs run |
| MGT008+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| SYN168-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN488-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SET576+3 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| PUZ003-1 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN007+1.014 | THM | 0.67 | EPR, monadic, 2var, guarded, ground, PVD, stratified | |
| SYN429-1 | SAT | 0.5 | EPR, stratified | |
| KRS136+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SYN726+1 | THM | 0.0 | EPR, 2var, guarded, stratified | |
| NLP134-1 | SAT | 0.0 | stratified | |
| NLP061+1 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN503-1 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | |
| SYN382+1 | THM | 0.0 | EPR, 2var, stratified | sggs run |
| GRP126-1.005 | SAT | 0.25 | EPR, stratified | sggs run |
| SYN165-1 | UNSAT | 0.1 | EPR, stratified | |
| SYN180-1 | UNSAT | 0.1 | EPR, stratified | |
| SWV330-2 | UNSAT | 0.0 | PVD, stratified | sggs run |
| SYN094-1.005 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN976+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| SWV419-1.030 | UNSAT | 0.6 | EPR, stratified | |
| SWV419-1.035 | UNSAT | 0.6 | EPR, stratified | |
| SYN937+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN387+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN355+1 | THM | 0.0 | EPR, monadic, 2var, stratified | sggs run |
| PUZ028-6 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| PUZ028-4 | SAT | 0.0 | EPR, 2var, guarded, ground, PVD, stratified | sggs run |
| PUZ028-5 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| PUZ028-2 | SAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| PUZ028-3 | SAT | 0.0 | EPR, 2var, guarded, ground, PVD, stratified | sggs run |
| PUZ028-1 | SAT | 0.25 | EPR, guarded, PVD, stratified | sggs run |
| SYN885-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| NLP115+1 | CSAT | 0.0 | EPR, 2var, guarded, PVD, stratified | |
| SYN299-1 | UNSAT | 0.1 | EPR, stratified | |
| GRP135-1.002 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| GRP129-3.004 | UNSAT | 0.0 | EPR, guarded, PVD, stratified | sggs run |
| SYN894-1 | UNSAT | 0.1 | EPR, guarded, stratified | |
| SYO578+1 | THM | 0.0 | EPR, monadic, 2var, guarded, PVD, stratified | sggs run |
| SYN525-1 | SAT | 0.0 | EPR, stratified | sggs run |
| GRP126-1.004 | UNSAT | 0.0 | EPR, stratified | sggs run |
| SYN416+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| SYN247-1 | UNSAT | 0.1 | EPR, stratified | sggs run |
| SWB027+4 | CSAT | 0.0 | EPR, 2var, stratified | sggs run |
| SYN978+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, PVD, stratified | sggs run |
| CSR071+1 | THM | 0.0 | stratified | sggs run |
| SET575+3 | THM | 0.0 | EPR, 2var, stratified | sggs run |
The following table lists all TPTP 7.2.0 problems which were found to be in PVD. For each problem, we list its status and rating according to TPTP, and a list of other applicable decidability criteria. If the problem was solved by our SGGS prototype, there is a link to a trace of the successful derivation.
| problem | status | rating | properties | |
|---|---|---|---|---|
| SYN926+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| GRP128-3.004 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| SYN005-1.010 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| PUZ052-1 | SAT | 1.0 | EPR, guarded, restrained, stratified | |
| AGT042+1 | SAT | 0.67 | EPR, 2var, guarded, stratified | |
| NLP119-1 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| LCL680+1.001 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| CSR062+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRA022+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SWV011+1 | THM | 0.0 | monadic, restrained | sggs run |
| SYN933+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| CSR043+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP128-4.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| GRP128-4.004 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| NLP119+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| PUZ014-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SET913+1 | THM | 0.0 | restrained | sggs run |
| SWV266-2 | UNSAT | 0.0 | restrained | sggs run |
| SYN028-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN044-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN955+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN322+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| PLA031-1.005 | UNSAT | 0.5 | EPR, guarded, stratified | |
| LAT267-2 | UNSAT | 0.0 | EPR, 2var, guarded, ground, restrained, stratified | sggs run |
| NLP115-1 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| GRP133-1.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SWV314-2 | UNSAT | 0.0 | restrained | sggs run |
| GRA019+1 | ? | 1.0 | EPR, 2var, guarded, stratified | |
| SYN044+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN095-1.002 | UNSAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| GRA001-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| CSR069+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN318+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN406+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN942+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| GRP132-1.005 | SAT | 0.25 | EPR, guarded, stratified | |
| LAT260-2 | UNSAT | 0.2 | guarded, ground, restrained, stratified | sggs run |
| SET836-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN040-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN971+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SWV011-1 | UNSAT | 0.0 | monadic, restrained, stratified | sggs run |
| SYN087-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRA026+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SWV336-2 | UNSAT | 0.0 | restrained | sggs run |
| MSC018+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN030-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SWV310-2 | UNSAT | 0.0 | restrained | sggs run |
| PUZ022-1 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| GRA014+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| MSC015-1.010 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| MSC015-1.015 | UNSAT | 0.1 | EPR, guarded, restrained, stratified | |
| GRA023+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SYN322-1 | SAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN057+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| LCL681+1.001 | CSAT | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| CSR031+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP129-4.004 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| GRP129-4.005 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| SYN724-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN045-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| MSC015-1.030 | UNSAT | 1.0 | EPR, guarded, restrained, stratified | |
| SYN040+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| NLP116-1 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN916+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SWV351-2 | UNSAT | 0.0 | restrained | sggs run |
| SYN004-1.007 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SWV350-2 | UNSAT | 0.0 | restrained | sggs run |
| GRA024+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SYN079-1 | UNSAT | 0.0 | guarded, stratified | sggs run |
| CSR045+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| PUZ004-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN934+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SET828-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN407+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| LCL230+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRP132-2.002 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| CSR036+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| MGT041-2 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN029-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN079+1 | THM | 0.0 | guarded, stratified | sggs run |
| SYN497+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| NLP123+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| SYN393+1.003 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SWV356-2 | UNSAT | 0.0 | restrained, stratified | sggs run |
| SWB003+2 | THM | 0.0 | guarded, restrained, stratified | sggs run |
| SYN057-1 | UNSAT | 0.0 | EPR, monadic, guarded, restrained, stratified | sggs run |
| PUZ009-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN062+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| LAT270-2 | UNSAT | 0.0 | restrained, stratified | sggs run |
| SET829-2 | UNSAT | 0.0 | stratified | sggs run |
| SWV334-2 | UNSAT | 0.0 | restrained, stratified | sggs run |
| SYN931+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| NLP122+1 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| SYN924+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN098-1.002 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| LAT261-2 | UNSAT | 0.2 | guarded, ground, restrained, stratified | sggs run |
| PUZ011-1 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| GRP134-1.005 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| SWV309-2 | UNSAT | 0.0 | restrained | sggs run |
| PUZ010-1 | UNSAT | 0.0 | EPR, guarded, stratified | |
| SYN973+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| SEU261+1 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| SWB001+2 | THM | 0.0 | EPR, 2var, guarded, ground, restrained, stratified | sggs run |
| GRP133-1.004 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| SYN056-1 | SAT | 0.0 | EPR, monadic, guarded, restrained, stratified | sggs run |
| PUZ008-2 | UNSAT | 0.2 | guarded, ground, restrained, stratified | sggs run |
| LCL663+1.001 | CSAT | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| GRP129-1.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| GRP129-1.005 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| SYN388+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRA017+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| NLP121-1 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN724+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| GRP132-2.005 | SAT | 0.25 | EPR, guarded, stratified | |
| GRA018+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SYN497-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| SWV289-2 | UNSAT | 0.0 | sggs run | |
| NLP123-1 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| LAT265-2 | UNSAT | 0.2 | guarded, ground, restrained, stratified | sggs run |
| CSR059+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN431-1 | SAT | 0.0 | EPR, monadic, guarded, stratified | sggs run |
| SYN391+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| NLP120-1 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN055-1 | UNSAT | 0.0 | EPR, monadic, guarded, restrained, stratified | sggs run |
| SYO525+1.030 | THM | 1.0 | EPR, 2var, guarded, restrained, stratified | |
| GRP135-2.002 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN032-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| CSR061+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| PLA031-1.007 | UNSAT | 0.7 | EPR, guarded, stratified | |
| PLA031-1.004 | UNSAT | 0.4 | EPR, guarded, stratified | |
| PLA031-1.003 | UNSAT | 0.2 | EPR, guarded, stratified | |
| CSR053+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN059+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| GRA013+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| NLP122-1 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| GRA020+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| GRP131-1.005 | SAT | 0.25 | EPR, guarded, stratified | |
| GRP131-1.002 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN008-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN056+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN389+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| LCL181+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN402+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN392+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN915+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| NLP121+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| LCL649+1.001 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| GRA016+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| GEO169+1 | THM | 0.0 | EPR, 2var, guarded, stratified | |
| GRA025+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| LCL181-2 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| PUZ013-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN009-4 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN009-1 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN009-2 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN009-3 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN055+1 | CAXS | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| GRP134-2.005 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| GRP134-2.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| GRP128-2.004 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| SYN974+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN395+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN977+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SET833-2 | UNSAT | 0.0 | stratified | sggs run |
| NLP116+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| SYN010-1.005.005 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRP135-1.005 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| HWV003-3 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRA021+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| GRP130-2.005 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| SYN400+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| GRP130-2.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| PUZ037-2 | UNSAT | 0.2 | EPR, guarded, restrained, stratified | |
| PUZ037-3 | UNSAT | 0.2 | EPR, guarded, restrained, stratified | |
| PUZ037-1 | UNSAT | 0.2 | EPR, guarded, restrained, stratified | |
| CSR037+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP128-1.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN097-1.002 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| LAT264-2 | UNSAT | 0.2 | guarded, ground, restrained, stratified | sggs run |
| SYN403+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| CSR048+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP128-1.004 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| CSR042+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SET856-2 | UNSAT | 0.2 | guarded, ground, restrained | sggs run |
| CSR029+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN929+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| NLP120+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| SYN919+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN054-1 | UNSAT | 0.0 | EPR, monadic, guarded, restrained, stratified | sggs run |
| SYN041+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| CSR047+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| CSR028+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| NLP001-1 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| PUZ128+1 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| LCL679+1.001 | CSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN041-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| PUZ016-2.005 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| PUZ016-2.004 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN101-1.002.002 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| PUZ053-1 | SAT | 1.0 | EPR, guarded, restrained, stratified | |
| SYN054+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| NLP001+1 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| GRP130-4.004 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| GRP128-2.006 | UNSAT | 0.0 | EPR, guarded, stratified | |
| PUZ033-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRP130-4.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN085-1.010 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| COM001-1 | UNSAT | 0.0 | stratified | sggs run |
| CSR030+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYN045+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| PUZ015-2.006 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN920+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| LCL648+1.001 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| NUM285-1 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN431+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYN949+1 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| SYN091-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SWB002+2 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| SYN088-1.010 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | |
| MSC015-1.005 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| GRP128-3.005 | UNSAT | 0.0 | EPR, guarded, stratified | |
| SYN001-1.005 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRP131-2.002 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| MSC019+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| CSR049+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP134-1.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN959+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN951+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN046+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN093-1.002 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN090-1.008 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| MSC015-1.020 | UNSAT | 0.5 | EPR, guarded, restrained, stratified | |
| MSC015-1.022 | UNSAT | 0.8 | EPR, guarded, restrained, stratified | |
| MSC015-1.025 | UNSAT | 1.0 | EPR, guarded, restrained, stratified | |
| MSC015-1.027 | UNSAT | 1.0 | EPR, guarded, restrained, stratified | |
| SWV349-2 | UNSAT | 0.0 | restrained | sggs run |
| GRP131-2.005 | SAT | 0.25 | EPR, guarded, stratified | |
| SYN001+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| SYN092-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRP135-2.005 | SAT | 0.25 | EPR, guarded, stratified | |
| PLA031-1.006 | UNSAT | 0.7 | EPR, guarded, stratified | |
| PLA031-1.002 | UNSAT | 0.1 | EPR, guarded, stratified | |
| PLA031-1.001 | UNSAT | 0.0 | EPR, guarded, stratified | |
| PLA031-1.008 | UNSAT | 1.0 | EPR, guarded, stratified | |
| CSR074+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYO640+1 | SAT | 0.67 | EPR, 2var, guarded, stratified | sggs run |
| SYN944+1 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| SYN964+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN086-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| LCL230-2 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| CSR055+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYO525+1.018 | THM | 0.5 | EPR, 2var, guarded, restrained, stratified | |
| GRA015+1 | CSAT | 0.0 | EPR, 2var, guarded, stratified | |
| SWV264-2 | UNSAT | 0.0 | restrained | sggs run |
| SYN046-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| PUZ035-1 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| PUZ035-2 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| GRP129-2.004 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SWV341-2 | UNSAT | 0.0 | restrained, stratified | sggs run |
| LCL646+1.001 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| SWV320-2 | UNSAT | 0.0 | restrained | sggs run |
| PUZ030-2 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN003-1.006 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN047-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYO525+1.015 | THM | 0.5 | EPR, 2var, guarded, restrained, stratified | |
| COM002-1 | UNSAT | 0.0 | sggs run | |
| SET835-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN310-1 | UNSAT | 0.0 | restrained | sggs run |
| GEO079-1 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| PUZ036-1.005 | UNSAT | 0.2 | EPR, guarded, restrained, stratified | |
| GRP133-2.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN011-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| LCL662+1.001 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN969+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN102-1.007.007 | UNSAT | 0.0 | EPR, guarded, stratified | |
| SYN725+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| CSR033+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP130-3.004 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| CSR051+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| MGT041+2 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| MSC007-1.008 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN915-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| NLP118-1 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN059-1 | SAT | 0.0 | EPR, monadic, guarded, restrained, stratified | sggs run |
| SYN047+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN302-1.003 | SAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN358+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SWV333-2 | UNSAT | 0.0 | restrained, stratified | sggs run |
| CSR057+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| PUZ001-1 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| PUZ001-3 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SET827-2 | UNSAT | 0.0 | stratified | sggs run |
| NLP114+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| SYO579+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYN390+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| SYN063-2 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SET826-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN356+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP133-2.004 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| GRP130-1.005 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| GRP130-1.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN062-1 | UNSAT | 0.0 | EPR, monadic, guarded, restrained, stratified | sggs run |
| LCL645+1.001 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| NLP114-1 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| SYN408+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN916-1 | SAT | 0.33 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| GRP129-2.005 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| SYN963+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| CSR073+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| SYO582+1 | CSAT | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYN932+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| NLP117+1 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| SYO525+1.027 | THM | 1.0 | EPR, 2var, guarded, restrained, stratified | |
| SYO525+1.024 | THM | 1.0 | EPR, 2var, guarded, restrained, stratified | |
| SYO525+1.021 | THM | 0.75 | EPR, 2var, guarded, restrained, stratified | |
| SYN096-1.008 | UNSAT | 0.0 | EPR, monadic, guarded, restrained, stratified | sggs run |
| NLP118+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| SYN960+1 | THM | 0.0 | EPR, 2var, guarded, restrained, stratified | sggs run |
| SWV265-2 | UNSAT | 0.0 | restrained | sggs run |
| SWV312-2 | UNSAT | 0.0 | restrained | sggs run |
| SYN089-1.002 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN397+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SET832-2 | UNSAT | 0.0 | stratified | sggs run |
| SYN357+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| HWV034-2 | SAT | 0.0 | restrained, stratified | sggs run |
| HWV034-1 | SAT | 0.0 | stratified | sggs run |
| CSR067+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| KRS004-1 | UNSAT | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| GRP132-1.002 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| GRP129-3.005 | SAT | 0.25 | EPR, guarded, stratified | |
| NLP117-1 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| CSR025+1 | THM | 0.0 | EPR, 2var, guarded, stratified | sggs run |
| GRP130-3.003 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| PUZ003-1 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYN007+1.014 | THM | 0.67 | EPR, monadic, 2var, guarded, ground, restrained, stratified | |
| SWV330-2 | UNSAT | 0.0 | restrained, stratified | sggs run |
| SYN094-1.005 | UNSAT | 0.33 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN937+1 | THM | 0.0 | EPR, monadic, 2var, guarded, restrained, stratified | sggs run |
| SYN387+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| PUZ028-6 | UNSAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| PUZ028-4 | SAT | 0.0 | EPR, 2var, guarded, ground, restrained, stratified | sggs run |
| PUZ028-5 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| PUZ028-2 | SAT | 0.0 | EPR, guarded, restrained, stratified | sggs run |
| PUZ028-3 | SAT | 0.0 | EPR, 2var, guarded, ground, stratified | sggs run |
| PUZ028-1 | SAT | 0.25 | EPR, guarded, stratified | sggs run |
| NLP115+1 | CSAT | 0.0 | EPR, 2var, guarded, restrained, stratified | |
| GRP135-1.002 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| GRP129-3.004 | UNSAT | 0.0 | EPR, guarded, stratified | sggs run |
| SYO578+1 | THM | 0.0 | EPR, monadic, 2var, guarded, stratified | sggs run |
| SYN416+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |
| SYN978+1 | THM | 0.0 | EPR, monadic, 2var, guarded, ground, restrained, stratified | sggs run |