/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 01012345x111002345x1412014543x1451102344x1445500031x1445050031x10305132455x11233041513x13314310554x15411452332x15015252054x13512410013x15054500213x13530243204x102544203515x10024441053x103154155532x11044142053x110454030325x10555011124x112410325531x13113525521x114012145440x14334103124x114214125233x13002324143x115241501020x11134525411x120012114551x13134100022x121023053503x10110320542x121043313050x15150442502x121234042235x13122433324x121313234550x121313243550x121455125435x14554222320x123032435331x11113103155x123313233112x12141454221x124004102104x11354440342x124020001053x15144401451x125211031343x14445330313x130512445103x130244151053x132005232102x14124025342x132353525355x132353523555x133245032243x10303031014x134035341243x15105331420x135034443443x13112341541x135250014145x12224330352x140413452215x15030422345x142150435330x11344344012x142431300210x14014200044x144531054133x10544432322x145325450423x10015002422x145535434540x10250243451x150115030023x13345503111x150130004314x11445504252x150250430135x12530003322x151542054340x14024444042x155421553344x15443400223x155422501223x155422510223x1010221234115x10550203541x1031144312201x13233550153x1125402422125x15403120212x1252243241141x10242232013x1322510125313x14054555442x1325424131125x13315304001x1343441345041x14200024133x1353413401211x12545521014x1400442144120x14452101024x1431243252455x15301055503x1441304123004x13401514310x1523501424502x14513155510x1554120314411x14455022332x10102015142541x10102011542541x12424503240350x12424502340350x1300021034305233x1300021034302533x1341040101513050x1340140101513050x110141401114520553x110141401114250553x152022103251121011x152022103252110111x1031034120213512452x1031304120213512452x1120424541222505231x1120442541222505231x145235224242143433201x145235224422143433201x10003122011455423530313x10030122101455423530313x120334303423324525000324x120334303423324255000324x124333411532004222053010x124333411532002422053010x135500235235102303414143x135500253235102303414143x142533244553533230225151x142533244555333230225151x1102311234342401031002251x1102311243342401031002251x1115554423035040353552414x1115554423035040335552414x1121143300553215555552522x1121143300552315555552522x1512331005550354204114224x1512331005550354201414224x12515404304012405054315230x12515404304012405053415230x13155535510435541124242043x13155535510345541124242043x120123255005512134545030434x120135045222053105435405134x1231200455324334541344235032x1231200455324334541342435032x1310411031331040140431245323x1301411303110431400431235423x11213045231335020352045130102x11213054231335020352045130102x12002153452341404504405300455x12002153425341404504405300455x13355010435525020414340142102x13355001435525020414340142102x101044530035431223040140053040x101044503035431223040140053040x110404531522152323332155135434x100143155451322221353233145534x143145251445202421424004030024x143145251445022421424004030024x1015524522323230415350305424550x1015524522323230415350350424550x1055550115510044133114131311254x1055550115510044133114311311254x1225244012220325450250351451151x1225244012223025450250351451151x1313315100034120534524324550145x1313315100034120534524342550145x12.101012345x111002345x1412014543x1451102344x1445500031x1445050031x10305132455x11233041513x13314310554x15411452332x15015252054x13512410013x15054500213x13530243204x102544203515x10024441053x103154155532x11044142053x110454030325x10555011124x112410325531x13113525521x114012145440x14334103124x114214125233x13002324143x115241501020x11134525411x120012114551x13134100022x121023053503x10110320542x121043313050x15150442502x121234042235x13122433324x121313234550x121313243550x121455125435x14554222320x123032435331x11113103155x123313233112x12141454221x124004102104x11354440342x124020001053x15144401451x125211031343x14445330313x130512445103x130244151053x132005232102x14124025342x132353525355x132353523555x133245032243x10303031014x134035341243x15105331420x135034443443x13112341541x135250014145x12224330352x140413452215x15030422345x142150435330x11344344012x142431300210x14014200044x144531054133x10544432322x145325450423x10015002422x145535434540x10250243451x150115030023x13345503111x150130004314x11445504252x150250430135x12530003322x151542054340x14024444042x155421553344x15443400223x155422501223x155422510223x1010221234115x10550203541x1031144312201x13233550153x1125402422125x15403120212x1252243241141x10242232013x1322510125313x14054555442x1325424131125x13315304001x1343441345041x14200024133x1353413401211x12545521014x1400442144120x14452101024x1431243252455x15301055503x1441304123004x13401514310x1523501424502x14513155510x1554120314411x14455022332x10102015142541x10102011542541x12424503240350x12424502340350x1300021034305233x1300021034302533x1341040101513050x1340140101513050x110141401114520553x110141401114250553x152022103251121011x152022103252110111x1031034120213512452x1031304120213512452x1120424541222505231x1120442541222505231x145235224242143433201x145235224422143433201x10003122011455423530313x10030122101455423530313x120334303423324525000324x120334303423324255000324x124333411532004222053010x124333411532002422053010x135500235235102303414143x135500253235102303414143x142533244553533230225151x142533244555333230225151x1102311234342401031002251x1102311243342401031002251x1115554423035040353552414x1115554423035040335552414x1121143300553215555552522x1121143300552315555552522x1512331005550354204114224x1512331005550354201414224x12515404304012405054315230x12515404304012405053415230x13155535510435541124242043x13155535510345541124242043x120123255005512134545030434x120135045222053105435405134x1231200455324334541344235032x1231200455324334541342435032x1310411031331040140431245323x1301411303110431400431235423x11213045231335020352045130102x11213054231335020352045130102x12002153452341404504405300455x12002153425341404504405300455x13355010435525020414340142102x13355001435525020414340142102x101044530035431223040140053040x101044503035431223040140053040x110404531522152323332155135434x100143155451322221353233145534x143145251445202421424004030024x143145251445022421424004030024x1015524522323230415350305424550x1015524522323230415350350424550x1055550115510044133114131311254x1055550115510044133114311311254x1225244012220325450250351451151x1225244012223025450250351451151x1313315100034120534524324550145x1313315100034120534524342550145x1ttt2ttt2 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])))