/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 000022013123102033x1002233003002201113x1000312312011323112x1030131110022113223x1001122301313313303x1031102310012333133x1001213120120333112x1232311113021031002x1001232121213021122x1220221112003111322x1001301311030130303x1000031301133301130x1001313233120133011x1233113030130013211x1010302013030122003x1030002210030233110x1011331331211302012x1032121111103023313x1012011121121030101x1120002102111131101x1012120331213121310x1232111102211033103x1012212200103011331x1010310213230221101x1012310102132120101x1020112331202011101x1021231302032313320x1233023320032111320x1021312301322311101x1203102321230111131x1030131302301221010x1033123003001111220x1030212133000312301x1023010033310023211x1031001333200313313x1033332301301101033x1032131220003201013x1230321111030200032x1033023012113320302x1032330323311002102x1033321311222020111x1020223111132323011x1101231133031311011x1111102300113313311x1102103231301102302x1121102211033303002x1102222330030320130x1113202330200232300x1103223201331131010x1110300321011332123x1110010221010131133x1111301302112110030x1110333121231010012x1111011113302223300x1112001301303201200x1110032013023201100x1113120021000133123x1111122033130310002x1113310010233013101x1130030331230111101x1120012011213110312x1111101120212103023x1120301130001210203x1132210000332101100x1121310322233212133x1122132223313203113x1122233021312211011x1122230131220321111x1123201331201322333x1120332120333211323x1130332313230131330x1130113022333133330x1131211010223103121x1110012331130112221x1131221303123310033x1130210123033311233x1132132011131121322x1113102113211132232x1132302212003132013x1130021233110320223x1133010020013131013x1113030011320331010x1202020312013110110x1211100230011132200x1210121102311210112x1210012211011121312x1212210123310112011x1213001302212111211x1213121100102122112x1211211001120322112x1213121330202122302x1212211233202201303x1220222121300103300x1202013222100321300x1220223203303003223x1232320332030020223x1221231110233301023x1221111221303003323x1222203220310133102x1222210221031030332x1223130031320113330x1300223231111333030x1231013312130203310x1311103213031020233x1231200322220001013x1220222003033011012x1232323023030102333x1230332321003203233x1233121300313031012x1222331033113003110x1233233132323321323x1232322132133333323x1300010221232301002x1301002233201100202x1300302312001230001x1301000021022033031x1301001131130013133x1330131101113033010x1301200200130111011x1021111001030302011x1301331131211323101x1311331330121132101x1302320310331123131x1323233111300302131x1303011212331022312x1201333232011120213x1310020112132222000x1232102310011222000x1310203102223122313x1223123023230031112x1310312231333211301x1232123311331103301x1312130021232013133x1311303132302132210x1312322222101020003x1323201021022122003x1313121010331233303x1333110302113133203x1313123023313112100x1203131213331132100x1313213101223303311x1333120213233301111x1313222232030032222x1221032223002333222x1322210131123101133x1312311130222311103x1330212231202013001x1213233230002002111x1331021213313123210x1332111113332031202x1331030322231123213x1211130320233321233x1331123212123002211x1321212302332021111x1332102312222133032x1323022113321032232x1332230312330121202x1321123221333003022x1333102101331333012x1330332102333101113x12.1000022013123102033x1002233003002201113x1000312312011323112x1030131110022113223x1001122301313313303x1031102310012333133x1001213120120333112x1232311113021031002x1001232121213021122x1220221112003111322x1001301311030130303x1000031301133301130x1001313233120133011x1233113030130013211x1010302013030122003x1030002210030233110x1011331331211302012x1032121111103023313x1012011121121030101x1120002102111131101x1012120331213121310x1232111102211033103x1012212200103011331x1010310213230221101x1012310102132120101x1020112331202011101x1021231302032313320x1233023320032111320x1021312301322311101x1203102321230111131x1030131302301221010x1033123003001111220x1030212133000312301x1023010033310023211x1031001333200313313x1033332301301101033x1032131220003201013x1230321111030200032x1033023012113320302x1032330323311002102x1033321311222020111x1020223111132323011x1101231133031311011x1111102300113313311x1102103231301102302x1121102211033303002x1102222330030320130x1113202330200232300x1103223201331131010x1110300321011332123x1110010221010131133x1111301302112110030x1110333121231010012x1111011113302223300x1112001301303201200x1110032013023201100x1113120021000133123x1111122033130310002x1113310010233013101x1130030331230111101x1120012011213110312x1111101120212103023x1120301130001210203x1132210000332101100x1121310322233212133x1122132223313203113x1122233021312211011x1122230131220321111x1123201331201322333x1120332120333211323x1130332313230131330x1130113022333133330x1131211010223103121x1110012331130112221x1131221303123310033x1130210123033311233x1132132011131121322x1113102113211132232x1132302212003132013x1130021233110320223x1133010020013131013x1113030011320331010x1202020312013110110x1211100230011132200x1210121102311210112x1210012211011121312x1212210123310112011x1213001302212111211x1213121100102122112x1211211001120322112x1213121330202122302x1212211233202201303x1220222121300103300x1202013222100321300x1220223203303003223x1232320332030020223x1221231110233301023x1221111221303003323x1222203220310133102x1222210221031030332x1223130031320113330x1300223231111333030x1231013312130203310x1311103213031020233x1231200322220001013x1220222003033011012x1232323023030102333x1230332321003203233x1233121300313031012x1222331033113003110x1233233132323321323x1232322132133333323x1300010221232301002x1301002233201100202x1300302312001230001x1301000021022033031x1301001131130013133x1330131101113033010x1301200200130111011x1021111001030302011x1301331131211323101x1311331330121132101x1302320310331123131x1323233111300302131x1303011212331022312x1201333232011120213x1310020112132222000x1232102310011222000x1310203102223122313x1223123023230031112x1310312231333211301x1232123311331103301x1312130021232013133x1311303132302132210x1312322222101020003x1323201021022122003x1313121010331233303x1333110302113133203x1313123023313112100x1203131213331132100x1313213101223303311x1333120213233301111x1313222232030032222x1221032223002333222x1322210131123101133x1312311130222311103x1330212231202013001x1213233230002002111x1331021213313123210x1332111113332031202x1331030322231123213x1211130320233321233x1331123212123002211x1321212302332021111x1332102312222133032x1323022113321032232x1332230312330121202x1321123221333003022x1333102101331333012x1330332102333101113x1ttt2ttt2 1.17 [hg: a28b6edf8379]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))