/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 01203245x101032245x1042111251x1042211511x10231015352x10213015352x11220532504x11225032504x14445042110x13220552420x102035105403x15243054222x102540504045x12424125054x104134243024x12425413544x104231450220x11014321533x104343345520x15040124133x104541244323x15505044503x105255155022x10523132023x105315323051x14304025551x110114234113x11300001210x111432510430x15320452443x113054122541x12053553345x113101250154x10412533203x113150140334x14141124145x114202354532x12541113154x114332454412x14322433530x115305514455x14401110044x120550324333x10410525025x121444343001x15211130221x122051535501x15521035343x124152300025x12241500311x124403214535x14033240431x125353215105x13213144042x131044101343x11501210110x131320242243x10221515320x132513411241x15501030442x140354342513x14450451433x141111424134x12211421220x141325431323x12155555115x141331242124x13242405142x142100551110x13440512133x143522213500x12013052223x143531515515x14104111352x144305211512x11321215541x145314451100x13535444535x145400312542x15441051230x153123302502x13134004415x154140421314x15243155130x154150532451x11552312153x155211051540x10242305500x155430532421x10054151053x155524022123x14512503153x1030113331022x11110232450x1150354330030x13234115041x1210313504021x1210313540021x1231350455023x1231354055023x1402043431204x14155533521x1422431553122x11051425415x1431042240342x11531142154x1433110114202x13140250424x1533240141523x12405144305x1543524054552x13124123414x11323435155151x11323435515151x12005213513240x12002513513240x14234300345224x14243300345224x112515413213335x112511452331335x124104000104314x124140000104314x141042133300415x141402133300415x1052210234053505x1052210234035505x1250503442122212x1250503441222212x1343420044323332x1343402044323332x11414123312113413x11414123321113413x152411502003025242x152013055200244122x1121242340002002455x1121422340002002455x12432121450052144410x12432121450025144410x133520453150555004502x133520453510555004502x143013530432523230323x143013530432523320323x10142103544204243311403x10142103544240243311403x112212413025421312103131x112221143201542312103131x132245414355305332312515x132245414355305333122551x1410142503114304402530202x1414102530114034045230022x104253551530452052523020155x104253515530425052523020155x120400131233105204032542333x120400131233105204032452333x121512443310104543101511035x121512443311004543101511035x122101422055054304315315102x122104122055054304315315102x131143023032413415505054352x131134023032413415500554352x154111541415010110531152544x154111451415010110531152544x1152334241330522032012542543x1152334241330522023012542543x1344024534524240353001424552x1344024354524240353001424552x1450415221141545442302230404x1451452125414105043034222404x13011550353232012502103552515x13011550353320215202031525515x13132305530211213104042250112x13132305530212113104042250112x100552531340303534040232331022x100552513340303534040232331022x111215545254042235131020423535x111215545250442235131020423535x12.101203245x101032245x1042111251x1042211511x10231015352x10213015352x11220532504x11225032504x14445042110x13220552420x102035105403x15243054222x102540504045x12424125054x104134243024x12425413544x104231450220x11014321533x104343345520x15040124133x104541244323x15505044503x105255155022x10523132023x105315323051x14304025551x110114234113x11300001210x111432510430x15320452443x113054122541x12053553345x113101250154x10412533203x113150140334x14141124145x114202354532x12541113154x114332454412x14322433530x115305514455x14401110044x120550324333x10410525025x121444343001x15211130221x122051535501x15521035343x124152300025x12241500311x124403214535x14033240431x125353215105x13213144042x131044101343x11501210110x131320242243x10221515320x132513411241x15501030442x140354342513x14450451433x141111424134x12211421220x141325431323x12155555115x141331242124x13242405142x142100551110x13440512133x143522213500x12013052223x143531515515x14104111352x144305211512x11321215541x145314451100x13535444535x145400312542x15441051230x153123302502x13134004415x154140421314x15243155130x154150532451x11552312153x155211051540x10242305500x155430532421x10054151053x155524022123x14512503153x1030113331022x11110232450x1150354330030x13234115041x1210313504021x1210313540021x1231350455023x1231354055023x1402043431204x14155533521x1422431553122x11051425415x1431042240342x11531142154x1433110114202x13140250424x1533240141523x12405144305x1543524054552x13124123414x11323435155151x11323435515151x12005213513240x12002513513240x14234300345224x14243300345224x112515413213335x112511452331335x124104000104314x124140000104314x141042133300415x141402133300415x1052210234053505x1052210234035505x1250503442122212x1250503441222212x1343420044323332x1343402044323332x11414123312113413x11414123321113413x152411502003025242x152013055200244122x1121242340002002455x1121422340002002455x12432121450052144410x12432121450025144410x133520453150555004502x133520453510555004502x143013530432523230323x143013530432523320323x10142103544204243311403x10142103544240243311403x112212413025421312103131x112221143201542312103131x132245414355305332312515x132245414355305333122551x1410142503114304402530202x1414102530114034045230022x104253551530452052523020155x104253515530425052523020155x120400131233105204032542333x120400131233105204032452333x121512443310104543101511035x121512443311004543101511035x122101422055054304315315102x122104122055054304315315102x131143023032413415505054352x131134023032413415500554352x154111541415010110531152544x154111451415010110531152544x1152334241330522032012542543x1152334241330522023012542543x1344024534524240353001424552x1344024354524240353001424552x1450415221141545442302230404x1451452125414105043034222404x13011550353232012502103552515x13011550353320215202031525515x13132305530211213104042250112x13132305530212113104042250112x100552531340303534040232331022x100552513340303534040232331022x111215545254042235131020423535x111215545250442235131020423535x1ttt2ttt2 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])))