/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 00121032x102011032x110412524x110415224x1144041525x1144145025x1441305553x1414350553x11131211100x12033203501x11305511122x11355101122x13014420224x11114405353x100540423522x11502444042x101010323551x13223443134x101024212515x11531311521x102044241033x14523141352x102241530001x14113105120x103103242212x11331340103x105252514442x122154445502x110034254211x12454433422x112202044115x15252121000x113132450221x12511223142x113141221115x13130115250x113512350153x12051132353x114250042353x11255202112x115204102132x15021215201x115321302103x15053404412x121014235244x11015442113x123500450305x12503523414x124352154124x11314313053x125132324114x11041553533x125325121154x15512212543x125403141110x125401341110x125415152324x12120514405x133001150243x15330303454x135233221421x13543253324x141440300425x13425025110x142532412301x13041304012x144002143505x13423210411x144433544451x10303212231x145120105422x11054210554x145122014131x12334100152x145455043324x13123021435x151201053203x15131022142x152110144111x14031231301x152435440221x15345014503x1002512414445x14104032430x1025332350032x15020131251x1102521201022x1102512201022x1144155543553x14551141244x1205223010543x15340132152x1211154150142x14405043125x1222155505453x14035052425x1253005125521x10002023214x1253423125320x10125410004x1333420415015x14003133430x1501214405054x1501214045054x1513341225150x14203014044x1522354333003x14053500404x1523035430103x15045522014x1533223020012x14424032113x1535042000432x10345423250x1555100355341x11320222522x12505445513101x12504554513101x12510533522123x12510535322123x14014144313144x14014143413144x14222223253124x14232222325124x14352235333350x13442220010x15235242104205x15223210544205x115021035520305x115021053520305x135342225443404x135342224543404x140241445100405x140241454100405x1110303444440011x1110304344440011x1124423004330553x1124432035005343x1132531533532044x1132535133532044x1553303421231141x1550333422131141x10534352220210142x10534352220120142x100035005435454324x100035050435454324x154024452133041210x154024452133014210x1314433130202535031x1314431330220535301x1555021154404431443x1555021154404434143x13122152125311512534x13511341222151221535x13524021005304142003x13105142230402045003x1025142531410323430113x1025142513410323430113x1105243500525545400554x1105243500525544500554x1121421342514513041044x1121421324514513041044x1340020415500435210244x1340020415050435210244x15143334114000323135510x15143334114000323315510x12033053143011405531212425x12033051343011405531212425x12111441444532214444122311x12114141444532214444122311x12121141320221532350200502x12121141320221533250200502x1040254513520110413042345514x1040254513502110413042345514x1453102224535550212404413002x1453102224535550212440413002x1512323424210440303253152310x1512323424210440303253153210x12045332434441515502441050533x12045332434414515502441050533x120000054512323435550133141402x120000054512323345550133141402x120304211450121431301105442333x120304211450121431301104542333x122532204444050534440050502013x122532204444050534440500502013x1455055521230321121301151150044x1455505521230311221013151510044x1550500344000040453111311210124x1550500434000040453111311210124x12.100121032x102011032x110412524x110415224x1144041525x1144145025x1441305553x1414350553x11131211100x12033203501x11305511122x11355101122x13014420224x11114405353x100540423522x11502444042x101010323551x13223443134x101024212515x11531311521x102044241033x14523141352x102241530001x14113105120x103103242212x11331340103x105252514442x122154445502x110034254211x12454433422x112202044115x15252121000x113132450221x12511223142x113141221115x13130115250x113512350153x12051132353x114250042353x11255202112x115204102132x15021215201x115321302103x15053404412x121014235244x11015442113x123500450305x12503523414x124352154124x11314313053x125132324114x11041553533x125325121154x15512212543x125403141110x125401341110x125415152324x12120514405x133001150243x15330303454x135233221421x13543253324x141440300425x13425025110x142532412301x13041304012x144002143505x13423210411x144433544451x10303212231x145120105422x11054210554x145122014131x12334100152x145455043324x13123021435x151201053203x15131022142x152110144111x14031231301x152435440221x15345014503x1002512414445x14104032430x1025332350032x15020131251x1102521201022x1102512201022x1144155543553x14551141244x1205223010543x15340132152x1211154150142x14405043125x1222155505453x14035052425x1253005125521x10002023214x1253423125320x10125410004x1333420415015x14003133430x1501214405054x1501214045054x1513341225150x14203014044x1522354333003x14053500404x1523035430103x15045522014x1533223020012x14424032113x1535042000432x10345423250x1555100355341x11320222522x12505445513101x12504554513101x12510533522123x12510535322123x14014144313144x14014143413144x14222223253124x14232222325124x14352235333350x13442220010x15235242104205x15223210544205x115021035520305x115021053520305x135342225443404x135342224543404x140241445100405x140241454100405x1110303444440011x1110304344440011x1124423004330553x1124432035005343x1132531533532044x1132535133532044x1553303421231141x1550333422131141x10534352220210142x10534352220120142x100035005435454324x100035050435454324x154024452133041210x154024452133014210x1314433130202535031x1314431330220535301x1555021154404431443x1555021154404434143x13122152125311512534x13511341222151221535x13524021005304142003x13105142230402045003x1025142531410323430113x1025142513410323430113x1105243500525545400554x1105243500525544500554x1121421342514513041044x1121421324514513041044x1340020415500435210244x1340020415050435210244x15143334114000323135510x15143334114000323315510x12033053143011405531212425x12033051343011405531212425x12111441444532214444122311x12114141444532214444122311x12121141320221532350200502x12121141320221533250200502x1040254513520110413042345514x1040254513502110413042345514x1453102224535550212404413002x1453102224535550212440413002x1512323424210440303253152310x1512323424210440303253153210x12045332434441515502441050533x12045332434414515502441050533x120000054512323435550133141402x120000054512323345550133141402x120304211450121431301105442333x120304211450121431301104542333x122532204444050534440050502013x122532204444050534440500502013x1455055521230321121301151150044x1455505521230311221013151510044x1550500344000040453111311210124x1550500434000040453111311210124x1ttt2ttt2 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])))