This website contains supporting material for the IJCAR 2020 paper SGGS Decision Procedures by Maria Paola Bonacina and Sarah Winkler. All experimental data reported on in the paper can be accessed 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.\nThe 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.\nSYN926+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN943+1 THM 0.0 positive TRS sggs run\nSYN967+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN005-1.010 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nPUZ052-1 SAT 1.0 positive TRS EPR, guarded, PVD, stratified\nPLA029-1 SAT 0.0 negative TRS sggs run\nSYN306-1 SAT 0.0 negative TRS sggs run flipped p\nSWV328-2 UNSAT 0.0 positive TRS sggs run\nSYN061+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_j\nNLP119-1 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nLCL680+1.001 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN058-1 UNSAT 0.0 positive TRS EPR, monadic, guarded, PVD, stratified sggs run flipped big_q\nSWV257-2 UNSAT 0.0 negative TRS sggs run\nSYN930+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN401+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSWV011+1 THM 0.0 positive TRS monadic, PVD sggs run\nNLP119+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nPUZ014-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSET913+1 THM 0.0 positive TRS PVD sggs run\nSWV266-2 UNSAT 0.0 positive TRS PVD sggs run\nSYN028-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN044-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN955+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV357-2 UNSAT 0.0 positive TRS sggs run\nSYN322+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nLAT267-2 UNSAT 0.0 positive TRS EPR, 2var, guarded, ground, PVD, stratified sggs run\nSYN373+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_p\nSWV256-2 UNSAT 0.0 negative TRS sggs run\nNLP115-1 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSWV335-2 UNSAT 0.0 positive TRS sggs run\nSWV314-2 UNSAT 0.0 positive TRS PVD sggs run\nSWV269-2 UNSAT 0.0 negative TRS sggs run\nSYN044+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nGRA001-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN318+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nLCL637+1.001 CSAT 0.0 positive TRS EPR, 2var sggs run\nLCL441-2 UNSAT 0.0 negative TRS sggs run\nSYN406+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN942+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nLAT260-2 UNSAT 0.2 positive TRS guarded, ground, PVD, stratified sggs run\nSYN040-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN409+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN971+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN979+1 THM 0.0 negative TRS EPR, 2var, guarded, stratified sggs run\nSWV011-1 UNSAT 0.0 positive TRS monadic, PVD, stratified sggs run\nHWV035-2 SAT 0.0 positive TRS sggs run\nSYN087-1.003 SAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWV336-2 UNSAT 0.0 positive TRS PVD sggs run\nSYN030-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWV310-2 UNSAT 0.0 positive TRS PVD sggs run\nPUZ022-1 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nPUZ002-1 UNSAT 0.0 negative TRS EPR, monadic, 2var, stratified sggs run flipped kangaroo\nMSC015-1.010 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nMSC015-1.015 UNSAT 0.1 positive TRS EPR, guarded, PVD, stratified\nSYN925+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN057+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nLCL681+1.001 CSAT 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV248-2 UNSAT 0.33 negative TRS sggs run\nSYN405+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run flipped g\nSYN724-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN311-1 UNSAT 0.25 positive TRS\nSYN045-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMSC015-1.030 UNSAT 1.0 positive TRS EPR, guarded, PVD, stratified\nSYN040+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nNLP116-1 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSYN394+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN318-1 UNSAT 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN916+1 CSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN053-1 UNSAT 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSWV351-2 UNSAT 0.0 positive TRS PVD sggs run\nSYN004-1.007 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWV350-2 UNSAT 0.0 positive TRS PVD sggs run\nPUZ004-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMGT036+3 THM 0.0 positive TRS stratified sggs run\nSYN372+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_p\nSYN934+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN407+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nLCL230+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN304-1 SAT 0.0 negative TRS stratified sggs run flipped s\nMGT041-2 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSYN053+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN029-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nCOL103-2 UNSAT 0.25 negative TRS stratified sggs run\nSEU163+3 THM 0.0 positive TRS PVD sggs run flipped subset\nNLP123+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN411+1 THM 0.0 negative TRS EPR, 2var, stratified sggs run\nSYN393+1.003 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWV356-2 UNSAT 0.0 positive TRS PVD, stratified sggs run\nSWB003+2 THM 0.0 positive TRS guarded, PVD, stratified sggs run\nSYN057-1 UNSAT 0.0 positive TRS EPR, monadic, guarded, PVD, stratified sggs run\nPUZ009-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN062+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nLAT270-2 UNSAT 0.0 positive TRS PVD, stratified sggs run\nSWV334-2 UNSAT 0.0 positive TRS PVD, stratified sggs run\nSYN931+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nNLP122+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSET846-2 UNSAT 0.0 negative TRS sggs run\nSYN924+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV009-1 UNSAT 0.0 negative TRS sggs run\nSYN098-1.002 UNSAT 0.33 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nNLP094+1 THM 0.0 positive TRS EPR, 2var\nLAT261-2 UNSAT 0.2 positive TRS guarded, ground, PVD, stratified sggs run\nPUZ011-1 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSWV309-2 UNSAT 0.0 positive TRS PVD sggs run\nSEU261+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nSYN367+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSWB001+2 THM 0.0 positive TRS EPR, 2var, guarded, ground, PVD, stratified sggs run\nSYN956+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped a\nSYN056-1 SAT 0.0 positive TRS EPR, monadic, guarded, PVD, stratified sggs run\nPUZ008-2 UNSAT 0.2 positive TRS guarded, ground, PVD, stratified sggs run\nLCL663+1.001 CSAT 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV299-2 UNSAT 0.0 positive TRS sggs run\nSWV337-2 UNSAT 0.0 positive TRS sggs run\nSYN388+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN947+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped p\nLCL432-2 UNSAT 0.0 positive TRS stratified sggs run\nNLP121-1 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSYN724+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped s\nSYN319+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nNLP123-1 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nLAT265-2 UNSAT 0.2 positive TRS guarded, ground, PVD, stratified sggs run\nSYN391+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nNLP120-1 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSYN055-1 UNSAT 0.0 positive TRS EPR, monadic, guarded, PVD, stratified sggs run\nSYN962+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYO525+1.030 THM 1.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN032-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN059+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nNLP122-1 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nHWV005-2 UNSAT 0.0 positive TRS sggs run\nMSC011+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run flipped not_drunk\nSYN008-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN056+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN389+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN953+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nMGT022+1 THM 0.0 positive TRS stratified sggs run\nLCL181+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN402+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN392+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMGT032-2 UNSAT 0.0 positive TRS stratified sggs run\nSYN068+1 THM 0.0 positive TRS EPR, 2var, stratified sggs run\nSYN048+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nNLP121+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nLCL649+1.005 CSAT 0.0 positive TRS EPR, 2var\nLCL649+1.001 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nSYN063-1 UNSAT 0.0 negative TRS EPR, monadic, 2var, guarded, stratified sggs run\nSET899+1 THM 0.0 positive TRS PVD sggs run flipped subset\nSYN946+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped p\nMGT022-1 UNSAT 0.0 positive TRS stratified sggs run\nMGT032+2 THM 0.0 positive TRS stratified sggs run\nSYN317+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_f\nLCL181-2 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN068-1 UNSAT 0.0 positive TRS stratified sggs run\nPUZ013-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN009-4 UNSAT 0.0 negative TRS EPR, guarded, PVD, stratified sggs run flipped m\nSYN009-2 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run flipped q\nSYN009-3 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run flipped q\nHWV006-2 UNSAT 0.0 positive TRS sggs run\nSYN055+1 UNK 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN974+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN395+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN977+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMGT028+1 THM 0.0 positive TRS sggs run\nSYN941+1 THM 0.0 negative TRS monadic, stratified sggs run flipped q\nNLP116+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN010-1.005.005 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN058+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_q\nLCL666+1.001 THM 0.0 negative TRS EPR, 2var, stratified sggs run flipped p101\nHWV003-3 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nHWV008-2.002 UNSAT 0.0 positive TRS sggs run\nPUZ035-4 UNSAT 0.0 positive TRS sggs run\nSYN398+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nPUZ037-2 UNSAT 0.2 positive TRS EPR, guarded, PVD, stratified\nPUZ037-3 UNSAT 0.2 positive TRS EPR, guarded, PVD, stratified\nPUZ037-1 UNSAT 0.2 positive TRS EPR, guarded, PVD, stratified\nSYN097-1.002 UNSAT 0.33 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nLAT264-2 UNSAT 0.2 positive TRS guarded, ground, PVD, stratified sggs run\nSYN403+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nCOL101-2 UNSAT 0.0 negative TRS stratified sggs run\nSYN958+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run flipped a\nNLP068+1 CSAT 0.0 positive TRS EPR, 2var sggs run\nSET856-2 UNSAT 0.2 positive TRS guarded, ground, PVD sggs run\nMGT030-1 UNSAT 0.0 positive TRS sggs run\nSYN950+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN970+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run flipped p\nSYN929+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nNLP120+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN317-1 SAT 0.0 negative TRS EPR, monadic, 2var, stratified sggs run flipped g\nSYN054-1 UNSAT 0.0 positive TRS EPR, monadic, guarded, PVD, stratified sggs run\nSYN041+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nNLP001-1 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSYN368+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nPUZ128+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nLCL679+1.001 CSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN041-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nPUZ016-2.005 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nPUZ016-2.004 SAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nLCL436-2 UNSAT 0.0 negative TRS sggs run\nMGT030+1 THM 0.0 positive TRS sggs run\nPUZ053-1 SAT 1.0 positive TRS EPR, guarded, PVD, stratified\nSYN054+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nNLP001+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nPUZ033-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN085-1.010 UNSAT 0.33 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN082+1 THM 0.0 positive TRS sggs run\nSYN045+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWV291-2 UNSAT 0.0 positive TRS sggs run\nSYN935+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nPUZ015-2.006 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN920+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped h\nLCL648+1.001 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nNUM285-1 SAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMGT036-3 UNSAT 0.0 positive TRS stratified sggs run\nSEU163+1 THM 0.0 positive TRS PVD sggs run flipped subset\nSYN949+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nSET915+1 THM 0.0 positive TRS PVD sggs run flipped disjoint\nSYN064+1 THM 0.0 negative TRS EPR, 2var, stratified sggs run\nSYN091-1.003 SAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWB002+2 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nSYN088-1.010 UNSAT 0.0 negative TRS EPR, guarded, PVD, stratified\nSYN082-1 UNSAT 0.0 positive TRS sggs run\nMSC015-1.005 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nLCL440-2 UNSAT 0.0 negative TRS stratified sggs run\nSYN069-1 UNSAT 0.0 positive TRS stratified sggs run\nSYN001-1.005 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN959+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN951+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN046+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMGT028-1 UNSAT 0.0 positive TRS sggs run\nSYN093-1.002 UNSAT 0.33 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN090-1.008 UNSAT 0.33 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMSC015-1.020 UNSAT 0.5 positive TRS EPR, guarded, PVD, stratified\nMSC015-1.022 UNSAT 0.8 positive TRS EPR, guarded, PVD, stratified\nMSC015-1.025 UNSAT 1.0 positive TRS EPR, guarded, PVD, stratified\nMSC015-1.027 UNSAT 1.0 positive TRS EPR, guarded, PVD, stratified\nSWV349-2 UNSAT 0.0 positive TRS PVD sggs run\nSYN927+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN092-1.003 SAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN049+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_p\nSYN944+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nSYN964+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN086-1.003 SAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN981+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run flipped r\nLCL230-2 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nPUZ060+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run flipped not_killed_by\nSYO525+1.018 THM 0.5 positive TRS EPR, 2var, guarded, PVD, stratified\nSWV264-2 UNSAT 0.0 positive TRS PVD sggs run\nSYN945+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nPUZ054-1 SAT 0.0 positive TRS sggs run\nSYN046-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nPUZ035-1 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nPUZ035-2 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nPUZ035-3 UNSAT 0.0 positive TRS sggs run\nSYN722+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSWV331-2 UNSAT 0.0 positive TRS sggs run\nSWV341-2 UNSAT 0.0 positive TRS PVD, stratified sggs run\nHWV007-2 UNSAT 0.0 positive TRS sggs run\nLCL646+1.001 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nSWV320-2 UNSAT 0.0 positive TRS PVD sggs run\nPUZ030-2 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN003-1.006 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN047-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMGT022+2 THM 0.0 positive TRS stratified sggs run\nSYO525+1.015 THM 0.5 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN975+1 THM 0.0 negative TRS EPR, 2var, stratified sggs run\nSYN310-1 UNSAT 0.0 positive TRS PVD sggs run\nMGT022-2 UNSAT 0.0 positive TRS stratified sggs run\nGEO079-1 UNSAT 0.0 negative TRS EPR, guarded, PVD, stratified sggs run\nPUZ036-1.005 UNSAT 0.2 positive TRS EPR, guarded, PVD, stratified\nSYN011-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nLCL662+1.001 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nLCL437-2 UNSAT 0.0 negative TRS sggs run\nSYN961+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN969+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV240-2 UNSAT 0.0 negative TRS sggs run\nSYN725+1 CSAT 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN061-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_j\nMGT041+2 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nSWV329-2 UNSAT 0.0 positive TRS sggs run\nSWV305-2 UNSAT 0.0 positive TRS sggs run\nSYN396+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nMSC007-1.008 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN378+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_p\nSYN084+1 THM 0.0 negative TRS monadic sggs run\nNLP118-1 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSYN059-1 SAT 0.0 positive TRS EPR, monadic, guarded, PVD, stratified sggs run\nSYN063+1 THM 0.0 negative TRS EPR, monadic, 2var, guarded, stratified sggs run\nHWV036-2 SAT 0.0 positive TRS sggs run\nSYN047+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWV239-2 UNSAT 0.0 negative TRS sggs run flipped c_in\nLCL636+1.001 THM 0.0 positive TRS EPR, 2var sggs run\nSYN302-1.003 SAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN358+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV333-2 UNSAT 0.0 positive TRS PVD, stratified sggs run\nSYN936+1 THM 0.0 negative TRS EPR, monadic, 2var, guarded, stratified sggs run\nPUZ001-1 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nPUZ001-3 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nNLP114+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN385+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run flipped big_p\nSYN063-2 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nTOP002-2 UNSAT 0.0 positive TRS stratified sggs run flipped element_of_collection\nSYN062-1 UNSAT 0.0 positive TRS EPR, monadic, guarded, PVD, stratified sggs run\nLCL664+1.001 THM 0.0 negative TRS EPR, 2var, stratified sggs run\nLCL645+1.001 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nLCL647+1.001 CSAT 0.0 positive TRS EPR, 2var sggs run\nNLP114-1 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSYN408+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN916-1 SAT 0.33 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nANA041-2 UNSAT 0.0 negative TRS stratified sggs run\nSYN922+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN963+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nHWV008-2.001 UNSAT 0.0 positive TRS sggs run\nNLP117+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYO525+1.027 THM 1.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYO525+1.024 THM 1.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYO525+1.021 THM 0.75 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN923+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nLCL648+1.005 THM 0.14 positive TRS EPR, 2var\nSYN096-1.008 UNSAT 0.0 positive TRS EPR, monadic, guarded, PVD, stratified sggs run\nSYN084-2 UNSAT 0.0 negative TRS monadic sggs run\nNLP118+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN960+1 THM 0.0 positive TRS EPR, 2var, guarded, PVD, stratified sggs run\nSYN968+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSWV265-2 UNSAT 0.0 positive TRS PVD sggs run\nSWV312-2 UNSAT 0.0 positive TRS PVD sggs run\nSYN089-1.002 UNSAT 0.33 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN397+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV364-2 UNSAT 0.0 positive TRS sggs run\nSYN954+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN357+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nHWV034-2 SAT 0.0 positive TRS PVD, stratified sggs run\nLCL667+1.001 CSAT 0.0 negative TRS EPR, 2var, stratified sggs run\nKRS004-1 UNSAT 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nNLP117-1 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nSYN007+1.014 THM 0.67 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified\nSWV330-2 UNSAT 0.0 positive TRS PVD, stratified sggs run\nSYN094-1.005 UNSAT 0.33 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN976+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nSYN937+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN387+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN355+1 THM 0.0 negative TRS EPR, monadic, 2var, stratified sggs run\nPUZ028-6 UNSAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nPUZ028-4 SAT 0.0 positive TRS EPR, 2var, guarded, ground, PVD, stratified sggs run\nPUZ028-2 SAT 0.0 positive TRS EPR, guarded, PVD, stratified sggs run\nPLA030-1 SAT 0.0 negative TRS sggs run\nNLP115+1 CSAT 0.0 positive TRS EPR, 2var, guarded, PVD, stratified\nSYN416+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nLCL435-2 UNSAT 0.0 negative TRS sggs run\nSYN978+1 THM 0.0 positive TRS EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nThe 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.\nSYN262-1 UNSAT 0.1 EPR, stratified\nSYN926+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN050+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nKRS010-1 UNSAT 0.0 stratified sggs run\nSYN501-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN323-1 UNSAT 0.0 EPR, 2var, stratified\nGRP124-9.004 UNSAT 0.0 EPR, stratified sggs run\nGRP124-9.005 SAT 0.25 EPR, stratified\nSYN384+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN209-1 UNSAT 0.1 EPR, stratified\nKRS024+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN242-1 UNSAT 0.1 EPR, stratified sggs run\nSYN225-1 UNSAT 0.1 EPR, stratified\nSYN064-1 UNSAT 0.0 stratified sggs run\nSYN967+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSET777-1 SAT 0.0 stratified sggs run\nSET001-1 UNSAT 0.0 stratified sggs run\nSYN435+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN419-1 SAT 0.5 EPR, stratified\nGRP123-2.003 UNSAT 0.0 EPR, stratified sggs run\nGRP128-3.004 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nGRP123-2.005 SAT 0.25 EPR, stratified sggs run\nSYN005-1.010 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nNLP223-1 SAT 0.0 stratified\nPUZ052-1 SAT 1.0 EPR, guarded, PVD, stratified\nSYN515+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nCSR054+1 THM 0.0 stratified sggs run\nMGT010+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN491-1 SAT 0.0 EPR, monadic, guarded, stratified\nSYN889-1 UNSAT 0.1 EPR, guarded, stratified\nSWB011+4 SAT 0.0 EPR, 2var, stratified sggs run\nSWV418-1.060 UNSAT 0.1 EPR, stratified\nSWV419-1.010 UNSAT 0.3 EPR, stratified\nSWV418-1.500 UNSAT 0.5 EPR, stratified\nSWV422-1.065 UNSAT 0.1 EPR, stratified\nSWV422-1.060 UNSAT 0.1 EPR, stratified\nSYN535-1 SAT 0.0 EPR, guarded, stratified sggs run\nSET788+1 THM 0.0 EPR, 2var, stratified\nSYN528+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN437-1 SAT 0.25 EPR, monadic, guarded, stratified\nSYN519-1 SAT 0.5 EPR, stratified\nSYN453-1 SAT 0.25 EPR, monadic, guarded, stratified\nSYN867-1 SAT 0.25 EPR, guarded, stratified\nNLP239-1 SAT 0.0 stratified\nSWB023+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSEV436-1 SAT 0.0 stratified\nSYN061+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN495+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nAGT042+1 SAT 0.67 EPR, 2var, guarded, PVD, stratified\nSYN215-1 UNSAT 0.1 EPR, stratified\nNLP119-1 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nTOP021+1 THM 0.0 stratified sggs run\nLCL680+1.001 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN058-1 UNSAT 0.0 EPR, monadic, guarded, stratified sggs run\nKRS059+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN930+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSWV424-1.050 UNSAT 0.2 EPR, stratified\nSYN414+1 CSAT 0.0 EPR, 2var, stratified\nSYN466-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSWV422-1.305 UNSAT 0.6 EPR, stratified\nNLP234-1 SAT 0.0 stratified\nCSR062+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN401+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nGRA022+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN500-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSWB029+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN521-1 SAT 0.0 EPR, stratified sggs run\nSYN375+1 THM 0.0 EPR, monadic, 2var, stratified\nSYN243-1 UNSAT 0.1 EPR, stratified\nSWV001-1 UNSAT 0.0 EPR, stratified\nCOL111-2 UNSAT 0.0 stratified sggs run\nSYN933+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified\nSWB014+4 CSAT 0.0 EPR, 2var, stratified sggs run\nCSR043+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nGRP128-4.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSWV421-1.460 UNSAT 0.7 EPR, stratified\nGRP128-4.004 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN441-1 SAT 0.25 EPR, monadic, guarded, stratified\nMGT009-1 UNSAT 0.0 stratified sggs run\nSET006-1 UNSAT 0.0 stratified sggs run\nSYN533+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nGRP124-6.005 SAT 0.25 EPR, stratified\nGRP124-6.004 UNSAT 0.0 EPR, stratified sggs run\nNLP119+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nPUZ014-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN108-1 UNSAT 0.1 EPR, stratified sggs run\nSYN028-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSET005-1 UNSAT 0.0 stratified\nSWB015+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN514-1 SAT 0.5 EPR, stratified\nSYN044-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN955+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN524+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN452-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN432+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN169-1 UNSAT 0.1 EPR, stratified\nSYN540-1 SAT 0.0 EPR, stratified sggs run\nSYN214-1 UNSAT 0.1 EPR, stratified\nGRP124-2.005 SAT 0.25 EPR, stratified sggs run\nGRP124-2.004 UNSAT 0.0 EPR, stratified sggs run\nKRS001-1 UNSAT 0.0 stratified\nSYN322+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nKRS134+1 THM 0.0 EPR, 2var, stratified sggs run\nPLA031-1.005 UNSAT 0.5 EPR, guarded, PVD, stratified\nPUZ056-2.027 UNSAT 1.0 EPR, guarded, stratified\nPUZ056-2.022 UNSAT 1.0 EPR, guarded, stratified\nLAT267-2 UNSAT 0.0 EPR, 2var, guarded, ground, PVD, stratified sggs run\nSYN439-1 UNSAT 0.2 EPR, monadic, guarded, stratified\nSYN186-1 UNSAT 0.1 EPR, stratified\nSYN373+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN467-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN255-1 UNSAT 0.1 EPR, stratified\nNLP115-1 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nMGT009+1 THM 0.0 EPR, 2var, stratified sggs run\nANA042-2 UNSAT 0.0 stratified\nGRP133-1.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN259-1 UNSAT 0.1 EPR, stratified sggs run\nKRS137+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN362+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN928+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nTOP022+1 THM 0.0 stratified sggs run\nSYN293-1 UNSAT 0.1 EPR, stratified\nSYN125-1 UNSAT 0.1 EPR, stratified\nGRA019+1 ? 1.0 EPR, 2var, guarded, PVD, stratified\nSYN044+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nCOL120-2 UNSAT 0.0 stratified sggs run\nSYN095-1.002 UNSAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nGRA001-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN240-1 UNSAT 0.1 EPR, stratified sggs run\nCSR069+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nNLP063-1 SAT 0.0 stratified sggs run\nSET007-1 UNSAT 0.17 stratified\nSYN318+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nKRS126+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nSYN222-1 UNSAT 0.1 EPR, stratified\nKRS013-1 UNSAT 0.0 stratified\nSYN406+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nKRS025+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nNLP048-1 SAT 0.0 stratified sggs run\nSYN896-1 UNSAT 0.1 EPR, guarded, stratified\nSWV424-1.500 UNSAT 0.5 EPR, stratified\nSYN942+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nGRP132-1.005 SAT 0.25 EPR, guarded, PVD, stratified\nLAT260-2 UNSAT 0.2 guarded, ground, PVD, stratified sggs run\nSWV424-1.200 UNSAT 0.3 EPR, stratified\nSYN343-1 UNSAT 0.0 stratified sggs run\nSYN477-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN834-1 UNSAT 0.1 EPR, guarded, stratified\nLCL682+1.001 THM 0.0 EPR, 2var, stratified sggs run\nSYN952+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSET836-2 UNSAT 0.0 PVD, stratified sggs run\nSYN813-1 UNSAT 0.2 EPR, guarded, stratified\nSYN040-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMSC008-1.002 UNSAT 0.0 EPR, stratified\nSYN409+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN971+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN282-1 UNSAT 0.1 EPR, stratified\nSYN979+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nKRS053+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN493+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSET003-1 UNSAT 0.0 stratified\nSWV422-1.365 UNSAT 0.7 EPR, stratified\nSYN887-1 UNSAT 0.1 EPR, guarded, stratified\nSYN141-1 UNSAT 0.1 EPR, stratified\nGRP127-1.005 SAT 0.25 EPR, stratified sggs run\nGRP127-1.004 UNSAT 0.0 EPR, stratified sggs run\nSWV011-1 UNSAT 0.0 monadic, PVD, stratified sggs run\nSYN258-1 UNSAT 0.1 EPR, stratified sggs run\nSYN087-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nGRA026+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSWV418-1.580 UNSAT 0.6 EPR, stratified\nSYN521+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSWV280-2 UNSAT 0.0 stratified\nNLP236-1 SAT 0.0 stratified\nKRS058+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nMSC018+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN030-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nPUZ022-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nGRP126-2.005 SAT 0.25 EPR, stratified sggs run\nGRP126-2.004 UNSAT 0.0 EPR, stratified sggs run\nGRA014+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN181-1 UNSAT 0.1 EPR, stratified\nPUZ002-1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nMSC015-1.010 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nMSC015-1.015 UNSAT 0.1 EPR, guarded, PVD, stratified\nGRA023+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN383+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN136-1 UNSAT 0.1 EPR, stratified\nSYN502-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nKRS012-1 UNSAT 0.0 stratified sggs run\nSYN257-1 UNSAT 0.1 EPR, stratified\nSYN203-1 UNSAT 0.1 EPR, stratified\nGRP123-6.005 SAT 0.25 EPR, stratified\nSYN322-1 SAT 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN524-1 SAT 0.0 EPR, stratified sggs run\nKRS022+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN925+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN057+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nCSR035+1 THM 0.0 stratified sggs run\nSET627+3 THM 0.0 EPR, 2var, stratified\nSYN871-1 UNSAT 0.1 EPR, guarded, stratified\nLCL681+1.001 CSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN266-1 UNSAT 0.1 EPR, stratified\nSWB031+4 SAT 0.0 EPR, 2var, stratified sggs run\nCSR031+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nGRP129-4.004 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nGRP129-4.005 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN263-1 UNSAT 0.1 EPR, stratified\nPLA003-1 UNSAT 0.0 stratified\nSWV421-1.200 UNSAT 0.4 EPR, stratified\nSYN405+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN724-1 UNSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN045-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN107-1 UNSAT 0.1 EPR, stratified sggs run\nSYN140-1 UNSAT 0.1 EPR, stratified\nSWV418-1.300 UNSAT 0.4 EPR, stratified\nSYN418-1 SAT 0.5 EPR, stratified\nSYN972+1 THM 0.0 EPR, 2var, stratified sggs run\nMSC013+1 CSAT 0.33 EPR, 2var, stratified sggs run\nMSC015-1.030 UNSAT 1.0 EPR, guarded, PVD, stratified\nSYN231-1 UNSAT 0.1 EPR, stratified\nSYN479-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN538-1 SAT 0.0 EPR, stratified\nSYN880-1 UNSAT 0.1 EPR, guarded, stratified\nGRP123-9.004 SAT 0.25 EPR, stratified\nGRP123-9.003 UNSAT 0.0 EPR, stratified sggs run\nGRP123-1.003 UNSAT 0.0 EPR, stratified sggs run\nSYN040+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nNLP116-1 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN256-1 UNSAT 0.1 EPR, stratified\nSYN394+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN460-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN877-1 UNSAT 0.1 EPR, guarded, stratified\nNLP238-1 SAT 0.0 stratified\nNLP235-1 SAT 0.0 stratified\nNLP063+1 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN318-1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN730+1 THM 0.0 stratified sggs run\nSYN823-1 SAT 0.25 EPR, guarded, stratified\nSYN916+1 CSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN053-1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN004-1.007 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN532+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nGRA024+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN079-1 UNSAT 0.0 guarded, PVD, stratified sggs run\nSYN442-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nCSR045+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nPUZ004-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nGRP125-1.004 SAT 0.25 EPR, stratified sggs run\nGRP125-1.003 UNSAT 0.0 EPR, stratified sggs run\nCOL113-2 UNSAT 0.0 stratified sggs run\nMGT036+2 THM 0.0 stratified\nMGT036+3 THM 0.0 stratified sggs run\nMGT036+1 THM 0.0 stratified\nKRS016-1 SAT 0.0 stratified sggs run\nSYN462-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN200-1 UNSAT 0.1 EPR, stratified\nSWV422-1.460 UNSAT 0.7 EPR, stratified\nSWV422-1.465 UNSAT 0.7 EPR, stratified\nSYN870-1 SAT 0.25 EPR, guarded, stratified\nSWB026+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN538+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN372+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN934+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSET828-2 UNSAT 0.0 PVD, stratified sggs run\nSYN407+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nLCL230+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN520-1 SAT 0.5 EPR, stratified\nSYN227-1 UNSAT 0.1 EPR, stratified\nSYN070+1 THM 0.0 EPR, 2var, guarded, stratified\nSYN819-1 UNSAT 0.2 EPR, guarded, stratified\nGRP132-2.002 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN304-1 SAT 0.0 stratified sggs run\nSYN144-1 UNSAT 0.1 EPR, stratified\nCSR036+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSWV424-1.100 UNSAT 0.3 EPR, stratified\nSYN833-1 UNSAT 0.1 EPR, guarded, stratified\nMGT041-2 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nKRS093+1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN539-1 SAT 0.0 EPR, stratified sggs run\nSYN053+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nPUZ015-3 SAT 0.33 stratified\nSYN029-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN435-1 SAT 0.25 EPR, monadic, guarded, stratified\nSYN079+1 THM 0.0 guarded, PVD, stratified sggs run\nSYN515-1 SAT 0.0 EPR, stratified sggs run\nSYN123-1 UNSAT 0.1 EPR, stratified\nCOL103-2 UNSAT 0.25 stratified sggs run\nSYN497+1 CSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV422-1.400 UNSAT 0.7 EPR, stratified\nSWB022+4 CSAT 0.0 EPR, 2var, stratified sggs run\nKRS170+1 THM 0.0 EPR, 2var, stratified sggs run\nSWB025+4 CSAT 0.0 EPR, 2var, stratified sggs run\nNLP123+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSET625+3 THM 0.0 EPR, 2var, stratified sggs run\nGRP123-7.003 UNSAT 0.0 EPR, stratified sggs run\nGRP123-7.005 SAT 0.25 EPR, stratified\nGRP123-8.003 UNSAT 0.0 EPR, stratified sggs run\nGRP123-8.004 SAT 0.25 EPR, stratified\nSYN411+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN124-1 UNSAT 0.1 EPR, stratified\nKRS027+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN393+1.003 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMSC008-2.002 UNSAT 0.0 EPR, stratified\nNLP231-1 SAT 0.0 stratified\nSWV356-2 UNSAT 0.0 PVD, stratified sggs run\nSWB003+4 THM 0.0 stratified sggs run\nSWB003+2 THM 0.0 guarded, PVD, stratified sggs run\nSWV420-1.020 UNSAT 0.5 EPR, stratified\nSYN463-1 SAT 0.25 EPR, monadic, guarded, stratified\nSYN057-1 UNSAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nKRS130+1 THM 0.0 EPR, 2var, stratified sggs run\nPUZ009-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN062+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN190-1 UNSAT 0.1 EPR, stratified\nKRS065+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nSYN547-1 SAT 0.25 EPR, stratified\nSYN446-1 SAT 0.25 EPR, monadic, guarded, stratified\nKRS015-1 UNSAT 0.0 stratified\nLAT270-2 UNSAT 0.0 PVD, stratified sggs run\nSYN542-1 SAT 0.25 EPR, monadic, guarded, stratified\nSET829-2 UNSAT 0.0 PVD, stratified sggs run\nSYN174-1 UNSAT 0.1 EPR, stratified\nSYN292-1 UNSAT 0.1 EPR, stratified\nSYN217-1 UNSAT 0.1 EPR, stratified\nSYN204-1 UNSAT 0.1 EPR, stratified\nKRS104+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nSWV334-2 UNSAT 0.0 PVD, stratified sggs run\nSYN377+1 THM 0.0 EPR, monadic, 2var, stratified\nSYN931+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nNLP122+1 THM 0.0 EPR, 2var, guarded, PVD, stratified\nSYN315+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nKRS125+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nSYN924+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSET004-1 UNSAT 0.0 stratified\nCSR034+1 THM 0.14 stratified sggs run\nSYN098-1.002 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nKRS091+1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nSET043-5 UNSAT 0.0 EPR, stratified sggs run\nSWB030+2 UNSAT 0.0 guarded, stratified\nSWB030+4 SAT 0.0 stratified sggs run\nSYN223-1 UNSAT 0.1 EPR, stratified\nSYN493-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nMGT001-1 UNSAT 0.0 stratified sggs run\nLAT261-2 UNSAT 0.2 guarded, ground, PVD, stratified sggs run\nPUZ011-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSWV420-1.005 UNSAT 0.2 EPR, stratified\nSYN476-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nGRP134-1.005 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nPUZ010-1 UNSAT 0.0 EPR, guarded, PVD, stratified\nKRS019+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN957+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN973+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified\nSYN732+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN127-1 UNSAT 0.1 EPR, stratified\nSEU261+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN367+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nKRS092+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nNLP067+1 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN279-1 UNSAT 0.1 EPR, stratified\nSYN420-1 SAT 0.25 EPR, stratified\nSYN185-1 UNSAT 0.1 EPR, stratified\nSWB001+2 THM 0.0 EPR, 2var, guarded, ground, PVD, stratified sggs run\nSWB001+4 THM 0.0 EPR, 2var, stratified sggs run\nSYN956+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN315-1 UNSAT 0.0 monadic, stratified\nGRP133-1.004 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN527+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN056-1 SAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nSYN869-1 UNSAT 0.1 EPR, guarded, stratified\nSYN440-1 UNSAT 0.1 EPR, monadic, guarded, stratified\nPUZ008-2 UNSAT 0.2 guarded, ground, PVD, stratified sggs run\nLCL663+1.001 CSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN731+1 THM 0.0 EPR, 2var, stratified sggs run\nGRP129-1.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nGRP129-1.005 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nGRP127-2.006 UNSAT 0.0 EPR, stratified\nKRS135+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN175-1 UNSAT 0.1 EPR, stratified\nMGT001+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN388+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nGRA017+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN947+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nKRS041+1 SAT 0.67 EPR, monadic, 2var, stratified\nSYN891-1 UNSAT 0.1 EPR, guarded, stratified\nSYN836-1 UNSAT 0.1 EPR, guarded, stratified\nSYN899-1 UNSAT 0.1 EPR, guarded, stratified\nSWV424-1.300 UNSAT 0.5 EPR, stratified\nLCL432-2 UNSAT 0.0 stratified sggs run\nNLP121-1 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN724+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nGRP132-2.005 SAT 0.25 EPR, guarded, PVD, stratified\nSYN248-1 UNSAT 0.1 EPR, stratified\nGRA018+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN289-1 UNSAT 0.1 EPR, stratified\nSYN224-1 UNSAT 0.1 EPR, stratified\nSWV422-1.205 UNSAT 0.5 EPR, stratified\nSWV422-1.200 UNSAT 0.5 EPR, stratified\nGRP123-6.003 UNSAT 0.0 EPR, stratified sggs run\nSYN497-1 SAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nNLP059+1 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN433+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN875-1 UNSAT 0.1 EPR, guarded, stratified\nSYN267-1 UNSAT 0.1 EPR, stratified\nSYN319+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nNLP123-1 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nLAT265-2 UNSAT 0.2 guarded, ground, PVD, stratified sggs run\nCSR059+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN898-1 UNSAT 0.1 EPR, guarded, stratified\nGRP123-1.005 SAT 0.25 EPR, stratified sggs run\nSYN539+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN516-1 SAT 0.0 EPR, guarded, stratified sggs run\nSYN106-1 UNSAT 0.1 EPR, stratified\nSYN281-1 UNSAT 0.1 EPR, stratified\nSWV420-1.045 UNSAT 0.6 EPR, stratified\nSWV420-1.040 UNSAT 0.6 EPR, stratified\nSYN876-1 UNSAT 0.1 EPR, guarded, stratified\nSYN463+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN495-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nSYN275-1 UNSAT 0.1 EPR, stratified sggs run\nSYN230-1 UNSAT 0.1 EPR, stratified\nSYN431-1 SAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nSET062+3 THM 0.0 EPR, 2var, stratified\nSYN410+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN391+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN499-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nNLP120-1 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN055-1 UNSAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nSYN480-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN251-1 UNSAT 0.1 EPR, stratified\nSYN962+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN517+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN131-1 UNSAT 0.1 EPR, stratified sggs run\nGRP124-4.005 SAT 0.25 EPR, stratified sggs run\nGRP124-4.004 UNSAT 0.0 EPR, stratified sggs run\nSYN461-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN176-1 UNSAT 0.1 EPR, stratified\nSYO525+1.030 THM 1.0 EPR, 2var, guarded, PVD, stratified\nGRP135-2.002 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN032-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN150-1 UNSAT 0.1 EPR, stratified\nCSR061+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nCSR032+1 THM 0.0 stratified sggs run\nLCL685+1.001 CSAT 0.0 EPR, 2var, stratified sggs run\nSWB024+4 CSAT 0.0 stratified sggs run\nPLA031-1.007 UNSAT 0.7 EPR, guarded, PVD, stratified\nPLA031-1.004 UNSAT 0.4 EPR, guarded, PVD, stratified\nSYN291-1 UNSAT 0.1 EPR, stratified sggs run\nPLA031-1.003 UNSAT 0.2 EPR, guarded, PVD, stratified\nSYN434+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN516+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSWV419-1.045 UNSAT 0.7 EPR, stratified\nNLP067-1 SAT 0.0 stratified sggs run\nCSR053+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSWV421-1.400 UNSAT 0.7 EPR, stratified\nSYN059+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nGRA013+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN201-1 UNSAT 0.1 EPR, stratified\nKRS124+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nNLP122-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nGRA020+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN261-1 UNSAT 0.1 EPR, stratified\nKRS090+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nSET009-1 UNSAT 0.0 stratified\nSWB018+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN220-1 UNSAT 0.1 EPR, stratified\nPUZ017-1 UNSAT 0.0 EPR, stratified\nSYN517-1 SAT 0.0 EPR, guarded, stratified sggs run\nSYN459-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nGRP131-1.005 SAT 0.25 EPR, guarded, PVD, stratified\nGRP131-1.002 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nLAT005-1 UNSAT 0.0 EPR, stratified\nPUZ012-1 UNSAT 0.0 EPR, stratified\nMSC011+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN008-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN056+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN475-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN109-1 UNSAT 0.1 EPR, stratified\nKRS018+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN283-1 UNSAT 0.1 EPR, stratified\nSYN541+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN389+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nGRP127-4.004 UNSAT 0.0 EPR, stratified sggs run\nGRP127-4.005 SAT 0.25 EPR, stratified sggs run\nSYN953+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nMGT022+1 THM 0.0 stratified sggs run\nSYN189-1 UNSAT 0.1 EPR, stratified\nLCL181+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN366+1 THM 0.0 EPR, 2var, guarded, stratified\nSYN250-1 UNSAT 0.1 EPR, stratified\nSYN402+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV419-1.020 UNSAT 0.6 EPR, stratified\nSYN392+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMGT032-2 UNSAT 0.0 stratified sggs run\nSYN068+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN048+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nKRS003-1 UNSAT 0.0 stratified\nSYN421-1 SAT 0.25 EPR, stratified\nSYN721+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nNLP138-1 SAT 0.0 stratified\nSYN915+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified\nKRS054+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nNLP121+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN216-1 UNSAT 0.1 EPR, stratified\nSYN170-1 UNSAT 0.1 EPR, stratified\nSYN298-1 UNSAT 0.1 EPR, stratified\nLCL649+1.001 CSAT 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN290-1 UNSAT 0.1 EPR, stratified sggs run\nSYN918+1 THM 0.0 EPR, monadic, 2var, stratified\nSYN468-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN507-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nNLP230-1 SAT 0.0 stratified\nSYN111-1 UNSAT 0.1 EPR, stratified\nSET780-1 SAT 0.0 stratified sggs run\nSYN063-1 UNSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nGRA016+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN946+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nKRS062+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nSWV422-1.300 UNSAT 0.7 EPR, stratified\nSYN295-1 UNSAT 0.1 EPR, stratified sggs run\nNLP161-1 SAT 0.0 stratified\nSYN917+1 THM 0.0 EPR, 2var, stratified\nSYN546-1 SAT 0.5 EPR, stratified\nSYN221-1 UNSAT 0.1 EPR, stratified\nSYN447-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nMGT022-1 UNSAT 0.0 stratified sggs run\nSYN191-1 UNSAT 0.1 EPR, stratified\nMGT032+2 THM 0.0 stratified sggs run\nGEO169+1 THM 0.0 EPR, 2var, guarded, PVD, stratified\nSYN317+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nKRS123+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nGRA025+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nLCL181-2 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN205-1 UNSAT 0.1 EPR, stratified\nSWV419-1.005 UNSAT 0.0 EPR, stratified\nSYN878-1 UNSAT 0.1 EPR, guarded, stratified\nSYN474-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN068-1 UNSAT 0.0 stratified sggs run\nSWV422-1.500 UNSAT 0.7 EPR, stratified\nSWV422-1.505 UNSAT 0.7 EPR, stratified\nPUZ013-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN009-4 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN009-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN009-2 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN009-3 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYO639+1 SAT 0.67 EPR, 2var, stratified sggs run\nKRS100+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nSYN286-1 UNSAT 0.1 EPR, stratified\nNLP221-1 SAT 0.0 stratified\nSYN055+1 CAXS 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nGRP134-2.005 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nGRP134-2.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nNLP064+1 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN129-1 UNSAT 0.1 EPR, stratified\nGRP128-2.004 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN404+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN974+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN188-1 UNSAT 0.1 EPR, stratified\nSYN835-1 SAT 0.25 EPR, guarded, stratified\nSYN142-1 UNSAT 0.1 EPR, stratified\nSYN436+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSYN164-1 UNSAT 0.1 EPR, stratified sggs run\nSYN395+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nMSC014+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN531-1 SAT 0.0 EPR, stratified\nGRP126-3.005 SAT 0.25 EPR, stratified sggs run\nSYN233-1 UNSAT 0.1 EPR, stratified\nSYN254-1 UNSAT 0.1 EPR, stratified\nSYN485-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN219-1 UNSAT 0.1 EPR, stratified\nSYN977+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN522+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSET833-2 UNSAT 0.0 PVD, stratified sggs run\nSYN423-1 SAT 0.25 EPR, stratified\nSYN278-1 UNSAT 0.1 EPR, stratified sggs run\nSYN424-1 SAT 0.5 EPR, stratified\nSWV424-1.450 UNSAT 0.5 EPR, stratified\nSYN145-1 UNSAT 0.1 EPR, stratified\nSET043+1 THM 0.0 EPR, 2var, stratified sggs run\nNLP237-1 SAT 0.0 stratified\nSYN294-1 UNSAT 0.1 EPR, stratified\nSYN360+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN116-1 UNSAT 0.1 EPR, stratified\nSYO645+1 SAT 0.67 EPR, 2var, stratified sggs run\nSYN921+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN456+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN941+1 THM 0.0 monadic, stratified sggs run\nKRS067+1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN155-1 UNSAT 0.1 EPR, stratified\nSYN966+1 THM 0.0 EPR, 2var, stratified\nSYN179-1 UNSAT 0.1 EPR, stratified\nSYN210-1 UNSAT 0.1 EPR, stratified\nSYN099-1.003 UNSAT 0.0 EPR, monadic, stratified sggs run\nNLP116+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN285-1 UNSAT 0.1 EPR, stratified\nSYN010-1.005.005 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN490+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nGRP123-3.003 UNSAT 0.0 EPR, stratified sggs run\nGRP135-1.005 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN301-1 UNSAT 0.1 EPR, stratified\nSWB004+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN890-1 UNSAT 0.1 EPR, guarded, stratified\nSYN058+1 THM 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYN509-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN284-1 UNSAT 0.1 EPR, stratified\nSYN202-1 UNSAT 0.1 EPR, stratified\nSYN541-1 SAT 0.0 EPR, stratified sggs run\nSWB032+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSWB032+2 THM 0.0 EPR, 2var, stratified sggs run\nLCL684+1.001 THM 0.0 EPR, 2var, stratified sggs run\nLCL666+1.001 THM 0.0 EPR, 2var, stratified sggs run\nSYN265-1 UNSAT 0.1 EPR, stratified\nPUZ018-1 UNSAT 0.0 EPR, stratified\nSYN438-1 SAT 0.25 EPR, monadic, guarded, stratified\nKRS066+1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nHWV003-3 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nKRS064+1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nSWV421-1.405 UNSAT 0.7 EPR, stratified\nSYN249-1 UNSAT 0.1 EPR, stratified\nGRA021+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nGRP130-2.005 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN510-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nKRS103+1 UNSAT 0.0 EPR, monadic, 2var, stratified\nSYN400+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified\nSYN370+1 THM 0.0 stratified sggs run\nGRP124-3.004 UNSAT 0.0 EPR, stratified sggs run\nSYN895-1 UNSAT 0.1 EPR, guarded, stratified\nGRP130-2.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nPUZ056-2.030 UNSAT 1.0 EPR, guarded, stratified\nPUZ056-2.025 UNSAT 1.0 EPR, guarded, stratified\nPUZ056-2.020 UNSAT 1.0 EPR, guarded, stratified\nSYN048-1 UNSAT 0.0 monadic, stratified sggs run\nSYN883-1 UNSAT 0.1 EPR, guarded, stratified\nSYN398+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSWV421-1.100 UNSAT 0.3 EPR, stratified\nPUZ037-2 UNSAT 0.2 EPR, guarded, PVD, stratified\nPUZ037-3 UNSAT 0.2 EPR, guarded, PVD, stratified\nPUZ037-1 UNSAT 0.2 EPR, guarded, PVD, stratified\nSWV421-1.105 UNSAT 0.4 EPR, stratified\nCSR037+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSWB016+4 CSAT 0.0 EPR, 2var, stratified sggs run\nGRP128-1.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN097-1.002 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN456-1 SAT 0.25 EPR, monadic, guarded, stratified\nKRS094+1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN532-1 SAT 0.0 EPR, stratified sggs run\nLAT264-2 UNSAT 0.2 guarded, ground, PVD, stratified sggs run\nSYN232-1 UNSAT 0.1 EPR, stratified\nSYN149-1 UNSAT 0.1 EPR, stratified sggs run\nGRP123-3.004 SAT 0.25 EPR, stratified sggs run\nSYN134-1 UNSAT 0.1 EPR, stratified\nSYN237-1 UNSAT 0.1 EPR, stratified sggs run\nSYN218-1 UNSAT 0.1 EPR, stratified\nSYN512-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN403+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nCSR048+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nCOL101-2 UNSAT 0.0 stratified sggs run\nCSR068+1 THM 0.0 stratified sggs run\nGRP128-1.004 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nCSR042+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN958+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nCSR029+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN252-1 UNSAT 0.1 EPR, stratified\nSYN069+1 CAXS 0.0 EPR, 2var, stratified\nSYN950+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN288-1 UNSAT 0.1 EPR, stratified sggs run\nSYN882-1 UNSAT 0.1 EPR, guarded, stratified\nSYN970+1 THM 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYN193-1 UNSAT 0.1 EPR, stratified\nSYN844-1 UNSAT 0.2 EPR, guarded, stratified\nSYN929+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSWV421-1.205 UNSAT 0.5 EPR, stratified\nSYN271-1 UNSAT 0.1 EPR, stratified\nSYN443-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nNLP120+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN207-1 UNSAT 0.1 EPR, stratified\nSYN199-1 UNSAT 0.1 EPR, stratified\nSET573+3 THM 0.0 EPR, 2var, stratified sggs run\nSYN317-1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN733+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN919+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN054-1 UNSAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nSYN041+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nCSR047+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN455+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSYN132-1 UNSAT 0.1 EPR, stratified sggs run\nCSR056+1 THM 0.0 stratified sggs run\nPUZ056-2.010 UNSAT 0.3 EPR, guarded, stratified\nCSR028+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nGRP127-3.005 SAT 0.25 EPR, stratified sggs run\nSWB002+4 THM 0.0 EPR, 2var, stratified sggs run\nSYN112-1 UNSAT 0.1 EPR, stratified\nNLP001-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN368+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSWV419-1.040 UNSAT 0.7 EPR, stratified\nPUZ128+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nLCL679+1.001 CSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN041-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN508-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN192-1 UNSAT 0.1 EPR, stratified\nSYN545-1 SAT 0.25 EPR, stratified\nSYN444-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN159-1 UNSAT 0.1 EPR, stratified\nSYN478-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nKRS128+1 UNSAT 0.0 EPR, 2var, stratified sggs run\nPUZ016-2.005 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nPUZ016-2.004 SAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nGRP125-4.003 UNSAT 0.0 EPR, stratified sggs run\nMSC008-1.010 SAT 1.0 EPR, stratified\nPUZ061+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYN101-1.002.002 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN473-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nPUZ053-1 SAT 1.0 EPR, guarded, PVD, stratified\nSYN049-1 UNSAT 0.0 monadic, stratified sggs run\nCSR065+1 THM 0.0 stratified sggs run\nSYN052-1 UNSAT 0.0 EPR, monadic, 2var, stratified\nGRP125-2.004 SAT 0.25 EPR, stratified sggs run\nGRP125-2.005 UNSAT 0.0 EPR, stratified\nSYN130-1 UNSAT 0.1 EPR, stratified sggs run\nSYN274-1 UNSAT 0.1 EPR, stratified sggs run\nSYN054+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nNLP001+1 THM 0.0 EPR, 2var, guarded, PVD, stratified\nNLP065+1 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN148-1 UNSAT 0.1 EPR, stratified\nSYN543-1 SAT 0.25 EPR, monadic, guarded, stratified\nPUZ030-1 UNSAT 0.0 EPR, monadic, stratified sggs run\nSYN455-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nGRP130-4.004 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN050-1 UNSAT 0.0 monadic, stratified sggs run\nSYN874-1 UNSAT 0.1 EPR, guarded, stratified\nGRP128-2.006 UNSAT 0.0 EPR, guarded, PVD, stratified\nPUZ033-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nLAT005-2 UNSAT 0.0 EPR, stratified\nGRP130-4.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN167-1 UNSAT 0.1 EPR, stratified sggs run\nSYN246-1 UNSAT 0.1 EPR, stratified\nSYN536-1 SAT 0.0 EPR, guarded, stratified sggs run\nSYN085-1.010 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN236-1 UNSAT 0.1 EPR, stratified\nSYN845-1 UNSAT 0.1 EPR, guarded, stratified\nCOM001-1 UNSAT 0.0 PVD, stratified sggs run\nCSR030+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN412+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN494-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nCOL105-2 UNSAT 0.0 stratified sggs run\nSYN482-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSWB008+4 CSAT 0.0 stratified sggs run\nSYN726-1 UNSAT 0.0 EPR, stratified\nSYN045+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nKRS171+1 THM 0.0 EPR, 2var, stratified sggs run\nSWV418-1.100 UNSAT 0.1 EPR, stratified\nNLP232-1 SAT 0.0 stratified\nSYN422-1 SAT 0.5 EPR, stratified\nSWB006+4 CSAT 0.0 stratified sggs run\nSYN113-1 UNSAT 0.1 EPR, stratified\nSWV422-1.105 UNSAT 0.3 EPR, stratified\nSYN935+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nNLP061-1 SAT 0.0 stratified sggs run\nSYN100-1.005 UNSAT 0.0 EPR, monadic, stratified\nPUZ015-2.006 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN920+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nLCL648+1.001 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nMGT036-1 UNSAT 0.0 stratified sggs run\nSYN126-1 UNSAT 0.1 EPR, stratified\nMGT036-2 UNSAT 0.0 stratified\nNUM285-1 SAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nMGT036-3 UNSAT 0.0 stratified sggs run\nSWV421-1.465 UNSAT 0.7 EPR, stratified\nSYN872-1 SAT 0.25 EPR, guarded, stratified\nSYN445-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN184-1 UNSAT 0.1 EPR, stratified\nSYN431+1 CSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN949+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN458+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSYN469-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN506-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN156-1 UNSAT 0.1 EPR, stratified\nKRS169+1 THM 0.0 EPR, 2var, stratified sggs run\nPUZ056-2.015 UNSAT 0.9 EPR, guarded, stratified\nSWV422-1.405 UNSAT 0.7 EPR, stratified\nSYN064+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN902-1 SAT 0.25 EPR, guarded, stratified\nSYN884-1 UNSAT 0.1 EPR, guarded, stratified\nSYN052+1 THM 0.0 EPR, monadic, 2var, stratified\nGRP123-4.004 SAT 0.25 EPR, stratified\nGRP123-4.003 UNSAT 0.0 EPR, stratified sggs run\nGRP126-4.005 SAT 0.25 EPR, stratified sggs run\nGRP126-4.004 UNSAT 0.0 EPR, stratified sggs run\nSYN091-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWB005+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN893-1 UNSAT 0.1 EPR, guarded, stratified\nSWB005+2 THM 0.0 EPR, 2var, stratified sggs run\nSYN171-1 UNSAT 0.1 EPR, stratified\nNLP165-1 SAT 0.0 stratified\nSWB002+2 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN088-1.010 UNSAT 0.0 EPR, guarded, PVD, stratified\nNLP064-1 SAT 0.0 stratified sggs run\nSYN160-1 UNSAT 0.1 EPR, stratified\nMSC015-1.005 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nLCL440-2 UNSAT 0.0 stratified sggs run\nKRS166+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN533-1 SAT 0.0 EPR, stratified sggs run\nSYN244-1 UNSAT 0.1 EPR, stratified sggs run\nNLP059-1 SAT 0.0 stratified sggs run\nSYN371+1 THM 0.0 EPR, 2var, stratified sggs run\nSWB010+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSET818-2 UNSAT 0.0 stratified sggs run\nSYN103-1 UNSAT 0.1 EPR, stratified\nSYN280-1 UNSAT 0.1 EPR, stratified\nSYN470-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN069-1 UNSAT 0.0 stratified sggs run\nGRP128-3.005 UNSAT 0.0 EPR, guarded, PVD, stratified\nSYN213-1 UNSAT 0.1 EPR, stratified\nSYN001-1.005 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN173-1 UNSAT 0.1 EPR, stratified\nSYN166-1 UNSAT 0.1 EPR, stratified\nSYN183-1 UNSAT 0.1 EPR, stratified\nSYN451-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nGRP131-2.002 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN235-1 UNSAT 0.1 EPR, stratified\nSYN163-1 UNSAT 0.1 EPR, stratified\nKRS002-1 UNSAT 0.0 stratified\nMSC019+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN177-1 UNSAT 0.1 EPR, stratified\nKRS131+1 THM 0.0 EPR, 2var, stratified\nKRS139+1 THM 0.0 EPR, 2var, stratified sggs run\nCSR049+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nGRP134-1.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN438+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN959+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN951+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN046+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN093-1.002 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN277-1 UNSAT 0.1 EPR, stratified sggs run\nSYN090-1.008 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN464-1 SAT 0.25 EPR, monadic, guarded, stratified\nSYN118-1 UNSAT 0.1 EPR, stratified\nMSC015-1.020 UNSAT 0.5 EPR, guarded, PVD, stratified\nMSC015-1.022 UNSAT 0.8 EPR, guarded, PVD, stratified\nMSC015-1.025 UNSAT 1.0 EPR, guarded, PVD, stratified\nMSC015-1.027 UNSAT 1.0 EPR, guarded, PVD, stratified\nSYN827-1 SAT 0.25 EPR, guarded, stratified\nGRP131-2.005 SAT 0.25 EPR, guarded, PVD, stratified\nSYN001+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified\nSYN927+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN092-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN151-1 UNSAT 0.1 EPR, stratified\nSYN454+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nGRP135-2.005 SAT 0.25 EPR, guarded, PVD, stratified\nPLA031-1.006 UNSAT 0.7 EPR, guarded, PVD, stratified\nPLA031-1.002 UNSAT 0.1 EPR, guarded, PVD, stratified\nPLA031-1.001 UNSAT 0.0 EPR, guarded, PVD, stratified\nSYN198-1 UNSAT 0.1 EPR, stratified\nPLA031-1.008 UNSAT 1.0 EPR, guarded, PVD, stratified\nCSR074+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYO640+1 SAT 0.67 EPR, 2var, guarded, PVD, stratified sggs run\nSYN892-1 UNSAT 0.1 EPR, guarded, stratified\nSYN049+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nKRS023+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN226-1 UNSAT 0.1 EPR, stratified\nSYN944+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN964+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN086-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN897-1 UNSAT 0.2 EPR, guarded, stratified\nSET011-1 UNSAT 0.17 stratified\nSEU275+1 THM 0.0 monadic, stratified sggs run\nSYN981+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN152-1 UNSAT 0.1 EPR, stratified\nLCL230-2 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nNLP060-1 SAT 0.0 stratified sggs run\nCSR055+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSWB021+4 CSAT 0.0 EPR, 2var, stratified sggs run\nNLP065-1 SAT 0.0 stratified sggs run\nPUZ060+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYN490-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nSYO525+1.018 THM 0.5 EPR, 2var, guarded, PVD, stratified\nGRA015+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN536+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN433-1 SAT 0.0 EPR, monadic, guarded, stratified\nSWB012+4 CSAT 0.0 stratified sggs run\nSYN945+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN300-1 UNSAT 0.1 EPR, stratified\nSYN268-1 UNSAT 0.1 EPR, stratified\nSYN496+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYN346+1 THM 0.0 EPR, 2var, stratified sggs run\nKRS165+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN046-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nGRP124-3.005 SAT 0.25 EPR, stratified\nGRP125-4.004 SAT 0.25 EPR, stratified sggs run\nPUZ035-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nPUZ035-2 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN498-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nGRP129-2.004 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN722+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSWV341-2 UNSAT 0.0 PVD, stratified sggs run\nSYN496-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nSWV421-1.360 UNSAT 0.7 EPR, stratified\nSYN857-1 UNSAT 0.2 EPR, guarded, stratified\nSWV421-1.365 UNSAT 0.7 EPR, stratified\nLCL646+1.001 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nGRP127-3.004 UNSAT 0.0 EPR, stratified sggs run\nSYN158-1 UNSAT 0.1 EPR, stratified\nSYN162-1 UNSAT 0.1 EPR, stratified\nSYN511-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSWB019+4 SAT 0.33 stratified sggs run\nPUZ030-2 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSWV418-1.700 UNSAT 0.6 EPR, stratified\nSYN239-1 UNSAT 0.1 EPR, stratified sggs run\nSWV421-1.065 UNSAT 0.1 EPR, stratified\nSET008-1 UNSAT 0.0 stratified\nKRS056+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN523+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSWV421-1.060 UNSAT 0.1 EPR, stratified\nGRP124-7.005 SAT 0.25 EPR, stratified\nSYN888-1 SAT 0.25 EPR, guarded, stratified\nSET027+3 THM 0.0 EPR, 2var, stratified sggs run\nSYN128-1 UNSAT 0.1 EPR, stratified\nSYN003-1.006 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN047-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN206-1 UNSAT 0.1 EPR, stratified\nMGT022+2 THM 0.0 stratified sggs run\nSYN428-1 SAT 0.25 EPR, stratified\nSYN494+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYO525+1.015 THM 0.5 EPR, 2var, guarded, PVD, stratified\nSYN489-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN975+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN471-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN430+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSWB028+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSET835-2 UNSAT 0.0 PVD, stratified sggs run\nSYN462+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSYN114-1 UNSAT 0.1 EPR, stratified\nPUZ029-1 UNSAT 0.0 EPR, monadic, stratified sggs run\nSWB013+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN900-1 UNSAT 0.1 EPR, guarded, stratified\nSYN270-1 UNSAT 0.1 EPR, stratified\nSYN153-1 UNSAT 0.1 EPR, stratified\nSYN253-1 UNSAT 0.1 EPR, stratified\nSYN529-1 SAT 0.0 EPR, stratified\nKRS020+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN535+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSWV421-1.300 UNSAT 0.6 EPR, stratified\nSWV421-1.305 UNSAT 0.7 EPR, stratified\nSYN178-1 UNSAT 0.1 EPR, stratified\nSYN522-1 SAT 0.0 EPR, stratified sggs run\nSYN296-1 UNSAT 0.1 EPR, stratified\nGRP124-1.004 UNSAT 0.0 EPR, stratified sggs run\nGRP124-1.005 SAT 0.25 EPR, stratified sggs run\nSYN505-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN323+1 THM 0.0 EPR, 2var, stratified sggs run\nKRS168+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nMGT022-2 UNSAT 0.0 stratified sggs run\nSYN208-1 UNSAT 0.1 EPR, stratified\nSYN901-1 UNSAT 0.2 EPR, guarded, stratified\nSYN157-1 UNSAT 0.1 EPR, stratified\nSWV420-1.035 UNSAT 0.6 EPR, stratified\nSWV420-1.030 UNSAT 0.5 EPR, stratified\nPUZ018-2 SAT 0.25 EPR, stratified\nSYN269-1 UNSAT 0.1 EPR, stratified\nGEO079-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nPUZ036-1.005 UNSAT 0.2 EPR, guarded, PVD, stratified\nGRP133-2.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN147-1 UNSAT 0.1 EPR, stratified sggs run\nSYN811-1 SAT 0.25 EPR, guarded, stratified\nNLP163-1 SAT 0.0 stratified\nSYN544-1 SAT 0.0 EPR, stratified\nSYN196-1 UNSAT 0.1 EPR, stratified\nSYN011-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN245-1 UNSAT 0.1 EPR, stratified sggs run\nLCL662+1.001 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nGRP124-8.005 SAT 0.25 EPR, stratified\nGRP124-8.004 UNSAT 0.0 EPR, stratified sggs run\nSYN481-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nKRS060+1 SAT 0.0 EPR, 2var, stratified sggs run\nNLP222-1 SAT 0.0 stratified\nSET002-1 UNSAT 0.0 stratified\nSYN961+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN856-1 UNSAT 0.1 EPR, guarded, stratified\nSYN523-1 SAT 0.0 EPR, stratified sggs run\nPUZ019-1 UNSAT 0.0 EPR, stratified\nSYN969+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN102-1.007.007 UNSAT 0.0 EPR, guarded, PVD, stratified\nSYN725+1 CSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN061-1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nCSR033+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nGRP130-3.004 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nCSR051+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN472-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nMGT041+2 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN104-1 UNSAT 0.1 EPR, stratified\nSYN161-1 UNSAT 0.1 EPR, stratified\nSYN430-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nSYN881-1 UNSAT 0.1 EPR, guarded, stratified\nSYN143-1 UNSAT 0.1 EPR, stratified\nSYN396+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nMSC007-1.008 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN518-1 SAT 0.5 EPR, stratified\nSYN915-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified\nSYN378+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSWB035+1 SAT 0.0 EPR, 2var, stratified sggs run\nSYN154-1 UNSAT 0.1 EPR, stratified\nNLP131-1 SAT 0.0 stratified\nSYN137-1 UNSAT 0.1 EPR, stratified\nSYN454-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN117-1 UNSAT 0.1 EPR, stratified\nNLP118-1 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN287-1 UNSAT 0.1 EPR, stratified sggs run\nSYN399+1 THM 0.0 EPR, monadic, 2var, stratified\nSWV420-1.010 UNSAT 0.4 EPR, stratified\nSYN537-1 SAT 0.0 EPR, stratified sggs run\nSYN133-1 UNSAT 0.1 EPR, stratified sggs run\nSYN059-1 SAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nSYN212-1 UNSAT 0.1 EPR, stratified\nSYN063+1 THM 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nNLP233-1 SAT 0.0 stratified\nPUZ056-2.005 UNSAT 0.0 EPR, guarded, stratified\nSYN047+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN721-1 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN451+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSYN820-1 UNSAT 0.1 EPR, guarded, stratified\nSYN540+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSYN483-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYO606+1 THM 0.29 EPR, 2var, stratified\nNLP060+1 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN302-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN504-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN358+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nCSR026+1 THM 0.0 stratified sggs run\nSWV333-2 UNSAT 0.0 PVD, stratified sggs run\nCSR057+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN936+1 THM 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nPUZ001-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nPUZ001-3 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN426-1 SAT 0.5 EPR, stratified\nSYN448-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSET827-2 UNSAT 0.0 PVD, stratified sggs run\nSYN534+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nNLP114+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN110-1 UNSAT 0.1 EPR, stratified\nSYN197-1 UNSAT 0.1 EPR, stratified\nSYN873-1 UNSAT 0.1 EPR, guarded, stratified\nSET574+3 THM 0.0 EPR, 2var, stratified sggs run\nMGT008-1 UNSAT 0.0 stratified sggs run\nSYO579+1 CSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN051+1 THM 0.0 EPR, monadic, 2var, stratified\nSYN939+1 THM 0.0 monadic, stratified\nSYN980+1 THM 0.0 stratified\nSYN513-1 SAT 0.5 EPR, stratified\nSYN385+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN228-1 UNSAT 0.1 EPR, stratified\nSYN458-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN390+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified\nSYN537+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSYN449+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN063-2 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN484-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nKRS164+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN879-1 UNSAT 0.1 EPR, guarded, stratified\nSET826-2 UNSAT 0.0 PVD, stratified sggs run\nSYN356+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSWB009+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN276-1 UNSAT 0.1 EPR, stratified\nGRP125-3.005 UNSAT 0.0 EPR, stratified\nGRP125-3.004 SAT 0.25 EPR, stratified sggs run\nSET778-1 SAT 0.0 stratified\nTOP002-2 UNSAT 0.0 stratified sggs run\nSYN122-1 UNSAT 0.1 EPR, stratified\nGRP133-2.004 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nGRP130-1.005 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nGRP130-1.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN442+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSYN139-1 UNSAT 0.1 EPR, stratified\nSYN487-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN120-1 UNSAT 0.1 EPR, stratified\nSYN062-1 UNSAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nMSC006-1 UNSAT 0.0 EPR, stratified\nSYN526+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nLCL664+1.001 THM 0.0 EPR, 2var, stratified sggs run\nLCL645+1.001 CSAT 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN187-1 UNSAT 0.1 EPR, stratified\nNLP114-1 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nSWV421-1.505 UNSAT 0.7 EPR, stratified\nSWV421-1.500 UNSAT 0.7 EPR, stratified\nSYN720-1 SAT 0.0 EPR, stratified\nSYN450-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN492+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYN182-1 UNSAT 0.1 EPR, stratified\nSYN530-1 SAT 0.25 EPR, stratified\nSYN408+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nKRS132+1 THM 0.0 EPR, 2var, stratified\nSYN060+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN241-1 UNSAT 0.1 EPR, stratified sggs run\nSYN529+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN234-1 UNSAT 0.1 EPR, stratified\nSET819-2 UNSAT 0.0 stratified sggs run\nSYN916-1 SAT 0.33 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN051-1 UNSAT 0.0 EPR, monadic, 2var, stratified\nANA041-2 UNSAT 0.0 stratified sggs run\nMGT010-1 UNSAT 0.0 stratified sggs run\nSET010-1 UNSAT 0.17 stratified\nSWV420-1.050 UNSAT 0.7 EPR, stratified\nSYN449-1 SAT 0.25 EPR, monadic, guarded, stratified\nSYN427-1 SAT 0.5 EPR, stratified\nSYN346-1 UNSAT 0.0 stratified sggs run\nSYN260-1 UNSAT 0.1 EPR, stratified sggs run\nGRP126-3.004 UNSAT 0.0 EPR, stratified sggs run\nSWV422-1.100 UNSAT 0.4 EPR, stratified\nSYN172-1 UNSAT 0.1 EPR, stratified sggs run\nSYN527-1 SAT 0.0 EPR, stratified sggs run\nSWV424-1.350 UNSAT 0.5 EPR, stratified\nSWB020+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN273-1 UNSAT 0.1 EPR, stratified\nSYN135-1 UNSAT 0.1 EPR, stratified\nSYN465-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN119-1 UNSAT 0.1 EPR, stratified\nGRP124-7.004 UNSAT 0.0 EPR, stratified sggs run\nKRS021+1 SAT 0.0 EPR, 2var, stratified sggs run\nGRP129-2.005 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN922+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN963+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nCSR073+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSYN138-1 UNSAT 0.1 EPR, stratified\nSYN731-1 UNSAT 0.0 stratified\nSWV422-1.360 UNSAT 0.7 EPR, stratified\nSYN264-1 UNSAT 0.1 EPR, stratified\nSYN436-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN526-1 SAT 0.0 EPR, stratified sggs run\nSWB007+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN229-1 UNSAT 0.1 EPR, stratified\nSYO582+1 CSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN932+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified\nNLP117+1 THM 0.0 EPR, 2var, guarded, PVD, stratified\nSET047-5 UNSAT 0.0 stratified\nSYN297-1 UNSAT 0.1 EPR, stratified sggs run\nSYO525+1.027 THM 1.0 EPR, 2var, guarded, PVD, stratified\nSYO525+1.024 THM 1.0 EPR, 2var, guarded, PVD, stratified\nSYO525+1.021 THM 0.75 EPR, 2var, guarded, PVD, stratified\nSYN450+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSYN923+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN321-1 UNSAT 0.0 EPR, stratified\nSYN492-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nKRS061+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN530+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN940+1 THM 0.0 monadic, stratified\nSYN060-1 UNSAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN096-1.008 UNSAT 0.0 EPR, monadic, guarded, PVD, stratified sggs run\nSET779-1 SAT 0.0 stratified sggs run\nSYN307-1 SAT 0.25 EPR, stratified\nNLP118+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN960+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nSWB020+2 THM 0.14 EPR, 2var, stratified\nKRS141+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN115-1 UNSAT 0.1 EPR, stratified\nSYN968+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN868-1 SAT 0.25 EPR, guarded, stratified\nSWV419-1.050 UNSAT 0.7 EPR, stratified\nGRP127-2.005 SAT 0.25 EPR, stratified sggs run\nSYN121-1 UNSAT 0.1 EPR, stratified\nSYN089-1.002 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN432-1 SAT 0.0 EPR, monadic, guarded, stratified\nSYN397+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN531+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN105-1 UNSAT 0.1 EPR, stratified\nSYN195-1 UNSAT 0.1 EPR, stratified\nSYN361+1 THM 0.0 EPR, 2var, stratified sggs run\nSWV424-1.400 UNSAT 0.5 EPR, stratified\nSYN954+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSET832-2 UNSAT 0.0 PVD, stratified sggs run\nSYN425-1 SAT 0.5 EPR, stratified\nSYN886-1 UNSAT 0.1 EPR, guarded, stratified\nSYN525+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN376+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSYN379+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN357+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN486-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nNLP136-1 SAT 0.0 stratified\nSYN146-1 UNSAT 0.1 EPR, stratified sggs run\nHWV034-2 SAT 0.0 PVD, stratified sggs run\nHWV034-1 SAT 0.0 PVD, stratified sggs run\nSYN457-1 UNSAT 0.1 EPR, monadic, guarded, stratified\nKRS055+1 SAT 0.0 EPR, monadic, 2var, stratified sggs run\nSYN491+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified\nSYN443+1 THM 0.0 EPR, monadic, 2var, guarded, stratified\nSWB017+4 CSAT 0.0 EPR, 2var, stratified sggs run\nCSR067+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nLCL667+1.001 CSAT 0.0 EPR, 2var, stratified sggs run\nKRS004-1 UNSAT 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nGRP132-1.002 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN434-1 SAT 0.25 EPR, monadic, guarded, stratified\nSYN534-1 SAT 0.0 EPR, stratified sggs run\nSYN211-1 UNSAT 0.1 EPR, stratified\nSYN238-1 UNSAT 0.1 EPR, stratified sggs run\nSYN843-1 UNSAT 0.1 EPR, guarded, stratified\nGRP129-3.005 SAT 0.25 EPR, guarded, PVD, stratified\nSYN194-1 UNSAT 0.1 EPR, stratified\nGRP001-5 UNSAT 0.0 EPR, stratified sggs run\nNLP117-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nCSR025+1 THM 0.0 EPR, 2var, guarded, PVD, stratified sggs run\nGRP130-3.003 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN272-1 UNSAT 0.1 EPR, stratified\nSYN528-1 SAT 0.0 EPR, stratified sggs run\nMGT008+1 THM 0.0 EPR, 2var, stratified sggs run\nSYN168-1 UNSAT 0.1 EPR, stratified\nSYN488-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSET576+3 THM 0.0 EPR, 2var, stratified sggs run\nPUZ003-1 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN007+1.014 THM 0.67 EPR, monadic, 2var, guarded, ground, PVD, stratified\nSYN429-1 SAT 0.5 EPR, stratified\nKRS136+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSYN726+1 THM 0.0 EPR, 2var, guarded, stratified\nNLP134-1 SAT 0.0 stratified\nNLP061+1 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN503-1 UNSAT 0.0 EPR, monadic, guarded, stratified\nSYN382+1 THM 0.0 EPR, 2var, stratified sggs run\nGRP126-1.005 SAT 0.25 EPR, stratified sggs run\nSYN165-1 UNSAT 0.1 EPR, stratified\nSYN180-1 UNSAT 0.1 EPR, stratified\nSWV330-2 UNSAT 0.0 PVD, stratified sggs run\nSYN094-1.005 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN976+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nSWV419-1.030 UNSAT 0.6 EPR, stratified\nSWV419-1.035 UNSAT 0.6 EPR, stratified\nSYN937+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN387+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN355+1 THM 0.0 EPR, monadic, 2var, stratified sggs run\nPUZ028-6 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nPUZ028-4 SAT 0.0 EPR, 2var, guarded, ground, PVD, stratified sggs run\nPUZ028-5 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nPUZ028-2 SAT 0.0 EPR, guarded, PVD, stratified sggs run\nPUZ028-3 SAT 0.0 EPR, 2var, guarded, ground, PVD, stratified sggs run\nPUZ028-1 SAT 0.25 EPR, guarded, PVD, stratified sggs run\nSYN885-1 UNSAT 0.1 EPR, guarded, stratified\nNLP115+1 CSAT 0.0 EPR, 2var, guarded, PVD, stratified\nSYN299-1 UNSAT 0.1 EPR, stratified\nGRP135-1.002 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nGRP129-3.004 UNSAT 0.0 EPR, guarded, PVD, stratified sggs run\nSYN894-1 UNSAT 0.1 EPR, guarded, stratified\nSYO578+1 THM 0.0 EPR, monadic, 2var, guarded, PVD, stratified sggs run\nSYN525-1 SAT 0.0 EPR, stratified sggs run\nGRP126-1.004 UNSAT 0.0 EPR, stratified sggs run\nSYN416+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nSYN247-1 UNSAT 0.1 EPR, stratified sggs run\nSWB027+4 CSAT 0.0 EPR, 2var, stratified sggs run\nSYN978+1 THM 0.0 EPR, monadic, 2var, guarded, ground, PVD, stratified sggs run\nCSR071+1 THM 0.0 stratified sggs run\nSET575+3 THM 0.0 EPR, 2var, stratified sggs run\nPositive Variable Dominated Fragment\nThe 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.\nSYN926+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nGRP128-3.004 SAT 0.25 EPR, guarded, stratified sggs run\nSYN005-1.010 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nPUZ052-1 SAT 1.0 EPR, guarded, restrained, stratified\nAGT042+1 SAT 0.67 EPR, 2var, guarded, stratified\nNLP119-1 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nLCL680+1.001 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nCSR062+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRA022+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSWV011+1 THM 0.0 monadic, restrained sggs run\nSYN933+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified\nCSR043+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRP128-4.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nGRP128-4.004 SAT 0.25 EPR, guarded, stratified sggs run\nNLP119+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified\nPUZ014-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSET913+1 THM 0.0 restrained sggs run\nSWV266-2 UNSAT 0.0 restrained sggs run\nSYN028-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN044-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN955+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN322+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nPLA031-1.005 UNSAT 0.5 EPR, guarded, stratified\nLAT267-2 UNSAT 0.0 EPR, 2var, guarded, ground, restrained, stratified sggs run\nNLP115-1 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nGRP133-1.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nSWV314-2 UNSAT 0.0 restrained sggs run\nGRA019+1 ? 1.0 EPR, 2var, guarded, stratified\nSYN044+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN095-1.002 UNSAT 0.0 EPR, monadic, guarded, stratified sggs run\nGRA001-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nCSR069+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYN318+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN406+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN942+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nGRP132-1.005 SAT 0.25 EPR, guarded, stratified\nLAT260-2 UNSAT 0.2 guarded, ground, restrained, stratified sggs run\nSET836-2 UNSAT 0.0 stratified sggs run\nSYN040-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN971+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSWV011-1 UNSAT 0.0 monadic, restrained, stratified sggs run\nSYN087-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRA026+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSWV336-2 UNSAT 0.0 restrained sggs run\nMSC018+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN030-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSWV310-2 UNSAT 0.0 restrained sggs run\nPUZ022-1 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nGRA014+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nMSC015-1.010 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nMSC015-1.015 UNSAT 0.1 EPR, guarded, restrained, stratified\nGRA023+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSYN322-1 SAT 0.0 EPR, 2var, guarded, stratified sggs run\nSYN057+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nLCL681+1.001 CSAT 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nCSR031+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRP129-4.004 UNSAT 0.0 EPR, guarded, stratified sggs run\nGRP129-4.005 SAT 0.25 EPR, guarded, stratified sggs run\nSYN724-1 UNSAT 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN045-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nMSC015-1.030 UNSAT 1.0 EPR, guarded, restrained, stratified\nSYN040+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nNLP116-1 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN916+1 CSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSWV351-2 UNSAT 0.0 restrained sggs run\nSYN004-1.007 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSWV350-2 UNSAT 0.0 restrained sggs run\nGRA024+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSYN079-1 UNSAT 0.0 guarded, stratified sggs run\nCSR045+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nPUZ004-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN934+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSET828-2 UNSAT 0.0 stratified sggs run\nSYN407+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nLCL230+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRP132-2.002 UNSAT 0.0 EPR, guarded, stratified sggs run\nCSR036+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nMGT041-2 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN029-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN079+1 THM 0.0 guarded, stratified sggs run\nSYN497+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nNLP123+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified\nSYN393+1.003 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSWV356-2 UNSAT 0.0 restrained, stratified sggs run\nSWB003+2 THM 0.0 guarded, restrained, stratified sggs run\nSYN057-1 UNSAT 0.0 EPR, monadic, guarded, restrained, stratified sggs run\nPUZ009-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN062+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nLAT270-2 UNSAT 0.0 restrained, stratified sggs run\nSET829-2 UNSAT 0.0 stratified sggs run\nSWV334-2 UNSAT 0.0 restrained, stratified sggs run\nSYN931+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nNLP122+1 THM 0.0 EPR, 2var, guarded, restrained, stratified\nSYN924+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN098-1.002 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nLAT261-2 UNSAT 0.2 guarded, ground, restrained, stratified sggs run\nPUZ011-1 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nGRP134-1.005 SAT 0.25 EPR, guarded, stratified sggs run\nSWV309-2 UNSAT 0.0 restrained sggs run\nPUZ010-1 UNSAT 0.0 EPR, guarded, stratified\nSYN973+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified\nSEU261+1 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nSWB001+2 THM 0.0 EPR, 2var, guarded, ground, restrained, stratified sggs run\nGRP133-1.004 SAT 0.25 EPR, guarded, stratified sggs run\nSYN056-1 SAT 0.0 EPR, monadic, guarded, restrained, stratified sggs run\nPUZ008-2 UNSAT 0.2 guarded, ground, restrained, stratified sggs run\nLCL663+1.001 CSAT 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nGRP129-1.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nGRP129-1.005 SAT 0.25 EPR, guarded, stratified sggs run\nSYN388+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRA017+1 CSAT 0.0 EPR, 2var, guarded, stratified\nNLP121-1 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN724+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nGRP132-2.005 SAT 0.25 EPR, guarded, stratified\nGRA018+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSYN497-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nSWV289-2 UNSAT 0.0 sggs run\nNLP123-1 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nLAT265-2 UNSAT 0.2 guarded, ground, restrained, stratified sggs run\nCSR059+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYN431-1 SAT 0.0 EPR, monadic, guarded, stratified sggs run\nSYN391+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nNLP120-1 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN055-1 UNSAT 0.0 EPR, monadic, guarded, restrained, stratified sggs run\nSYO525+1.030 THM 1.0 EPR, 2var, guarded, restrained, stratified\nGRP135-2.002 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN032-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nCSR061+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nPLA031-1.007 UNSAT 0.7 EPR, guarded, stratified\nPLA031-1.004 UNSAT 0.4 EPR, guarded, stratified\nPLA031-1.003 UNSAT 0.2 EPR, guarded, stratified\nCSR053+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYN059+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nGRA013+1 CSAT 0.0 EPR, 2var, guarded, stratified sggs run\nNLP122-1 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nGRA020+1 CSAT 0.0 EPR, 2var, guarded, stratified\nGRP131-1.005 SAT 0.25 EPR, guarded, stratified\nGRP131-1.002 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN008-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN056+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN389+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nLCL181+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN402+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN392+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN915+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified\nNLP121+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified\nLCL649+1.001 CSAT 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nGRA016+1 CSAT 0.0 EPR, 2var, guarded, stratified\nGEO169+1 THM 0.0 EPR, 2var, guarded, stratified\nGRA025+1 CSAT 0.0 EPR, 2var, guarded, stratified\nLCL181-2 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nPUZ013-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN009-4 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN009-1 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN009-2 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN009-3 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN055+1 CAXS 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nGRP134-2.005 SAT 0.25 EPR, guarded, stratified sggs run\nGRP134-2.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nGRP128-2.004 SAT 0.25 EPR, guarded, stratified sggs run\nSYN974+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN395+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN977+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSET833-2 UNSAT 0.0 stratified sggs run\nNLP116+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified\nSYN010-1.005.005 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRP135-1.005 SAT 0.25 EPR, guarded, stratified sggs run\nHWV003-3 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRA021+1 CSAT 0.0 EPR, 2var, guarded, stratified\nGRP130-2.005 SAT 0.25 EPR, guarded, stratified sggs run\nSYN400+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified\nGRP130-2.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nPUZ037-2 UNSAT 0.2 EPR, guarded, restrained, stratified\nPUZ037-3 UNSAT 0.2 EPR, guarded, restrained, stratified\nPUZ037-1 UNSAT 0.2 EPR, guarded, restrained, stratified\nCSR037+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRP128-1.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN097-1.002 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nLAT264-2 UNSAT 0.2 guarded, ground, restrained, stratified sggs run\nSYN403+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nCSR048+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRP128-1.004 SAT 0.25 EPR, guarded, stratified sggs run\nCSR042+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSET856-2 UNSAT 0.2 guarded, ground, restrained sggs run\nCSR029+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYN929+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nNLP120+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified\nSYN919+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYN054-1 UNSAT 0.0 EPR, monadic, guarded, restrained, stratified sggs run\nSYN041+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nCSR047+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nCSR028+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nNLP001-1 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nPUZ128+1 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nLCL679+1.001 CSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN041-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nPUZ016-2.005 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nPUZ016-2.004 SAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN101-1.002.002 UNSAT 0.0 EPR, guarded, stratified sggs run\nPUZ053-1 SAT 1.0 EPR, guarded, restrained, stratified\nSYN054+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nNLP001+1 THM 0.0 EPR, 2var, guarded, restrained, stratified\nGRP130-4.004 SAT 0.25 EPR, guarded, stratified sggs run\nGRP128-2.006 UNSAT 0.0 EPR, guarded, stratified\nPUZ033-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRP130-4.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN085-1.010 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nCOM001-1 UNSAT 0.0 stratified sggs run\nCSR030+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYN045+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nPUZ015-2.006 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN920+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nLCL648+1.001 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nNUM285-1 SAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN431+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYN949+1 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nSYN091-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSWB002+2 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nSYN088-1.010 UNSAT 0.0 EPR, guarded, restrained, stratified\nMSC015-1.005 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nGRP128-3.005 UNSAT 0.0 EPR, guarded, stratified\nSYN001-1.005 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRP131-2.002 UNSAT 0.0 EPR, guarded, stratified sggs run\nMSC019+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nCSR049+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRP134-1.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN959+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN951+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN046+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN093-1.002 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN090-1.008 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nMSC015-1.020 UNSAT 0.5 EPR, guarded, restrained, stratified\nMSC015-1.022 UNSAT 0.8 EPR, guarded, restrained, stratified\nMSC015-1.025 UNSAT 1.0 EPR, guarded, restrained, stratified\nMSC015-1.027 UNSAT 1.0 EPR, guarded, restrained, stratified\nSWV349-2 UNSAT 0.0 restrained sggs run\nGRP131-2.005 SAT 0.25 EPR, guarded, stratified\nSYN001+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified\nSYN092-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRP135-2.005 SAT 0.25 EPR, guarded, stratified\nPLA031-1.006 UNSAT 0.7 EPR, guarded, stratified\nPLA031-1.002 UNSAT 0.1 EPR, guarded, stratified\nPLA031-1.001 UNSAT 0.0 EPR, guarded, stratified\nPLA031-1.008 UNSAT 1.0 EPR, guarded, stratified\nCSR074+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYO640+1 SAT 0.67 EPR, 2var, guarded, stratified sggs run\nSYN944+1 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nSYN964+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN086-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nLCL230-2 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nCSR055+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYO525+1.018 THM 0.5 EPR, 2var, guarded, restrained, stratified\nGRA015+1 CSAT 0.0 EPR, 2var, guarded, stratified\nSWV264-2 UNSAT 0.0 restrained sggs run\nSYN046-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nPUZ035-1 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nPUZ035-2 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nGRP129-2.004 UNSAT 0.0 EPR, guarded, stratified sggs run\nSWV341-2 UNSAT 0.0 restrained, stratified sggs run\nLCL646+1.001 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nSWV320-2 UNSAT 0.0 restrained sggs run\nPUZ030-2 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN003-1.006 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN047-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYO525+1.015 THM 0.5 EPR, 2var, guarded, restrained, stratified\nCOM002-1 UNSAT 0.0 sggs run\nSET835-2 UNSAT 0.0 stratified sggs run\nSYN310-1 UNSAT 0.0 restrained sggs run\nGEO079-1 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nPUZ036-1.005 UNSAT 0.2 EPR, guarded, restrained, stratified\nGRP133-2.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN011-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nLCL662+1.001 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN969+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN102-1.007.007 UNSAT 0.0 EPR, guarded, stratified\nSYN725+1 CSAT 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nCSR033+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRP130-3.004 SAT 0.25 EPR, guarded, stratified sggs run\nCSR051+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nMGT041+2 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nMSC007-1.008 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN915-1 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified\nNLP118-1 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN059-1 SAT 0.0 EPR, monadic, guarded, restrained, stratified sggs run\nSYN047+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN302-1.003 SAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN358+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSWV333-2 UNSAT 0.0 restrained, stratified sggs run\nCSR057+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nPUZ001-1 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nPUZ001-3 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nSET827-2 UNSAT 0.0 stratified sggs run\nNLP114+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified\nSYO579+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYN390+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified\nSYN063-2 UNSAT 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSET826-2 UNSAT 0.0 stratified sggs run\nSYN356+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRP133-2.004 SAT 0.25 EPR, guarded, stratified sggs run\nGRP130-1.005 SAT 0.25 EPR, guarded, stratified sggs run\nGRP130-1.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN062-1 UNSAT 0.0 EPR, monadic, guarded, restrained, stratified sggs run\nLCL645+1.001 CSAT 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nNLP114-1 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nSYN408+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN916-1 SAT 0.33 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nGRP129-2.005 SAT 0.25 EPR, guarded, stratified sggs run\nSYN963+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nCSR073+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nSYO582+1 CSAT 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYN932+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified\nNLP117+1 THM 0.0 EPR, 2var, guarded, restrained, stratified\nSYO525+1.027 THM 1.0 EPR, 2var, guarded, restrained, stratified\nSYO525+1.024 THM 1.0 EPR, 2var, guarded, restrained, stratified\nSYO525+1.021 THM 0.75 EPR, 2var, guarded, restrained, stratified\nSYN096-1.008 UNSAT 0.0 EPR, monadic, guarded, restrained, stratified sggs run\nNLP118+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified\nSYN960+1 THM 0.0 EPR, 2var, guarded, restrained, stratified sggs run\nSWV265-2 UNSAT 0.0 restrained sggs run\nSWV312-2 UNSAT 0.0 restrained sggs run\nSYN089-1.002 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN397+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSET832-2 UNSAT 0.0 stratified sggs run\nSYN357+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nHWV034-2 SAT 0.0 restrained, stratified sggs run\nHWV034-1 SAT 0.0 stratified sggs run\nCSR067+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nKRS004-1 UNSAT 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nGRP132-1.002 UNSAT 0.0 EPR, guarded, stratified sggs run\nGRP129-3.005 SAT 0.25 EPR, guarded, stratified\nNLP117-1 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nCSR025+1 THM 0.0 EPR, 2var, guarded, stratified sggs run\nGRP130-3.003 UNSAT 0.0 EPR, guarded, stratified sggs run\nPUZ003-1 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYN007+1.014 THM 0.67 EPR, monadic, 2var, guarded, ground, restrained, stratified\nSWV330-2 UNSAT 0.0 restrained, stratified sggs run\nSYN094-1.005 UNSAT 0.33 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN937+1 THM 0.0 EPR, monadic, 2var, guarded, restrained, stratified sggs run\nSYN387+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nPUZ028-6 UNSAT 0.0 EPR, guarded, restrained, stratified sggs run\nPUZ028-4 SAT 0.0 EPR, 2var, guarded, ground, restrained, stratified sggs run\nPUZ028-5 UNSAT 0.0 EPR, guarded, stratified sggs run\nPUZ028-2 SAT 0.0 EPR, guarded, restrained, stratified sggs run\nPUZ028-3 SAT 0.0 EPR, 2var, guarded, ground, stratified sggs run\nPUZ028-1 SAT 0.25 EPR, guarded, stratified sggs run\nNLP115+1 CSAT 0.0 EPR, 2var, guarded, restrained, stratified\nGRP135-1.002 UNSAT 0.0 EPR, guarded, stratified sggs run\nGRP129-3.004 UNSAT 0.0 EPR, guarded, stratified sggs run\nSYO578+1 THM 0.0 EPR, monadic, 2var, guarded, stratified sggs run\nSYN416+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\nSYN978+1 THM 0.0 EPR, monadic, 2var, guarded, ground, restrained, stratified sggs run\naverage rating 0.24\nThe sources can be cloned from this github repository.\nA 64bit executable of Koala is also available.\nHere is a Python script which evaluates decidability criteria (restrained, stratified, PVD, guarded, monadic, EPR, 2-variable, ground) for TPTP problems (see the README file for instructions on how to run it).\nKoala reuses some parts of iProver 2.8 (thanks to Konstantin Korovin for providing the code).