/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 0001213110345540x10321154422012220x10001213110345540x10434255223454315x10001213110345540x14242420242544232x10005144252134523x10343420442153343x10025002330540010x10321154422012220x10025002330540010x10341235231333300x10025002330540010x10344115103202322x10025002330540010x10434255223454315x10025002330540010x10443220012520331x10025002330540010x14025133424251241x10025002330540010x14242420242544232x10121012312553415x10321154422012220x10121012312553415x10434255223454315x10202521432254103x10343420442153343x10222405415111312x10202521432254103x10222405415111312x10343420442153343x10222405415111312x10344115103202322x10222405415111312x10401112255405252x10222405415111312x10404445015243252x10332501104105313x10202521432254103x10332501104105313x10222405415111312x10332501104105313x10343420442153343x10332501104105313x10344115103202322x10332501104105313x10401112255405252x10332501104105313x10403541215342244x10332501104105313x10404445015243252x10332501104105313x14242420242544232x10341235231333300x10321154422012220x10401112255405252x10343420442153343x10401112255405252x10404445015243252x10502131215353325x10321154422012220x10502131215353325x10434255223454315x10550415325525034x10343420442153343x10550415325525034x10403541215342244x10550415325525034x10404445015243252x11004531413413401x11434222012505521x11004531413413401x11543553345553301x11004531413413401x12445423453342244x11004531413413401x14025133424251241x11004531413413401x14242420242544232x11004531413413401x15303444404222554x11020230041004034x11513202530215203x11020230041004034x12232323254444512x11020230041004034x12445423453342244x11020230041004034x14025133424251241x11020230041004034x14242420242544232x11032145135500535x12445423453342244x11041113441131525x12445423453342244x11041113441131525x12550044003423045x11041113441131525x13214302142220140x11041113441131525x14103222002243425x11041113441131525x14345512000240325x11115203052215124x11513202530215203x11115203052215124x12445423453342244x11152500025512254x10344115103202322x11152500025512254x11434222012505521x11152500025512254x11513202530215203x11152500025512254x12232323254444512x11152500025512254x12445423453342244x11152500025512254x14025133424251241x11152500025512254x14242420242544232x11152500025512254x15225201321405412x11152500025512254x15303444404222554x11231323055231440x14103222002243425x11344542150404252x14242420242544232x11434222012505521x14242420242544232x11513202530215203x14242420242544232x11543553345553301x14025133424251241x11543553345553301x14242420242544232x12123215041233401x12445423453342244x12123215041233401x14025133424251241x12123215041233401x14242420242544232x12243330511215250x13214302142220140x12243330511215250x14025133424251241x12243330511215250x14242420242544232x12332405012534402x12232323254444512x12332405012534402x14242420242544232x12350435133144505x14424215441340505x12353122252355553x14242420242544232x12400000051401520x14103222002243425x12550044003423045x14103222002243425x12550044003423045x14242420242544232x12550044003423045x14345512000240325x13441050150203434x12445423453342244x13441050150203434x14025133424251241x13512244020120012x12232323254444512x13512244020120012x14242420242544232x13524142130214514x12232323254444512x13531125521302003x12232323254444512x13531125521302003x12353122252355553x13531125521302003x13400540323024303x13531125521302003x13512244020120012x13531125521302003x14051310515134232x13531125521302003x14242420242544232x14034212100330050x13214302142220140x14034212100330050x14025133424251241x14034212100330050x14242420242544232x14034212100330050x15524202521315350x14113023323101111x10321154422012220x14113023323101111x10344115103202322x14113023323101111x10434255223454315x14113023323101111x10443220012520331x14113023323101111x11434222012505521x14113023323101111x11543553345553301x14113023323101111x12232323254444512x14113023323101111x12243330511215250x14113023323101111x12445423453342244x14113023323101111x12550044003423045x14113023323101111x13141324544444304x14113023323101111x13214302142220140x14113023323101111x13512244020120012x14113023323101111x13524142130214514x14113023323101111x14025133424251241x14113023323101111x14051310515134232x14113023323101111x14103222002243425x14113023323101111x14242420242544232x14113023323101111x14315232420425133x14113023323101111x14345512000240325x14113023323101111x14352423054133101x14113023323101111x14424215441340505x14113023323101111x14452331141510520x14113023323101111x14531132005251341x14113023323101111x15011003432432422x14113023323101111x15225201321405412x14113023323101111x15303444404222554x14113023323101111x15524202521315350x14220054153001352x12232323254444512x14220054153001352x14242420242544232x14220054153001352x14315232420425133x14315232420425133x14242420242544232x14345512000240325x14242420242544232x14352423054133101x14025133424251241x14352423054133101x14242420242544232x14452331141510520x14103222002243425x14531132005251341x14025133424251241x14531132005251341x14103222002243425x14531132005251341x14242420242544232x15011003432432422x14242420242544232x15033454214144141x10344115103202322x15033454214144141x10434255223454315x15033454214144141x10443220012520331x15033454214144141x12445423453342244x15033454214144141x14025133424251241x15033454214144141x14103222002243425x15033454214144141x14345512000240325x15033454214144141x14531132005251341x15033454214144141x15011003432432422x15155050423211231x10344115103202322x15155050423211231x10434255223454315x15155050423211231x10443220012520331x15155050423211231x11434222012505521x15155050423211231x12232323254444512x15155050423211231x12243330511215250x15155050423211231x12445423453342244x15155050423211231x13214302142220140x15155050423211231x14025133424251241x15155050423211231x14103222002243425x15155050423211231x14345512000240325x15155050423211231x14424215441340505x15155050423211231x14531132005251341x15155050423211231x15011003432432422x15155050423211231x15225201321405412x15204031031052112x10343420442153343x15204031031052112x10344115103202322x15204031031052112x10404445015243252x15204031031052112x12232323254444512x15204031031052112x12353122252355553x15204031031052112x13512244020120012x15204031031052112x14242420242544232x15204031031052112x14315232420425133x15204031031052112x15011003432432422x15204031031052112x15225201321405412x15204031031052112x15303444404222554x15225201321405412x14242420242544232x15322234013104450x14025133424251241x15322234013104450x14103222002243425x15332041040553224x12445423453342244x15332041040553224x14242420242544232x15444151234051552x14242420242544232x15524202521315350x14025133424251241x12.10001213110345540x10321154422012220x10001213110345540x10434255223454315x10001213110345540x14242420242544232x10005144252134523x10343420442153343x10025002330540010x10321154422012220x10025002330540010x10341235231333300x10025002330540010x10344115103202322x10025002330540010x10434255223454315x10025002330540010x10443220012520331x10025002330540010x14025133424251241x10025002330540010x14242420242544232x10121012312553415x10321154422012220x10121012312553415x10434255223454315x10202521432254103x10343420442153343x10222405415111312x10202521432254103x10222405415111312x10343420442153343x10222405415111312x10344115103202322x10222405415111312x10401112255405252x10222405415111312x10404445015243252x10332501104105313x10202521432254103x10332501104105313x10222405415111312x10332501104105313x10343420442153343x10332501104105313x10344115103202322x10332501104105313x10401112255405252x10332501104105313x10403541215342244x10332501104105313x10404445015243252x10332501104105313x14242420242544232x10341235231333300x10321154422012220x10401112255405252x10343420442153343x10401112255405252x10404445015243252x10502131215353325x10321154422012220x10502131215353325x10434255223454315x10550415325525034x10343420442153343x10550415325525034x10403541215342244x10550415325525034x10404445015243252x11004531413413401x11434222012505521x11004531413413401x11543553345553301x11004531413413401x12445423453342244x11004531413413401x14025133424251241x11004531413413401x14242420242544232x11004531413413401x15303444404222554x11020230041004034x11513202530215203x11020230041004034x12232323254444512x11020230041004034x12445423453342244x11020230041004034x14025133424251241x11020230041004034x14242420242544232x11032145135500535x12445423453342244x11041113441131525x12445423453342244x11041113441131525x12550044003423045x11041113441131525x13214302142220140x11041113441131525x14103222002243425x11041113441131525x14345512000240325x11115203052215124x11513202530215203x11115203052215124x12445423453342244x11152500025512254x10344115103202322x11152500025512254x11434222012505521x11152500025512254x11513202530215203x11152500025512254x12232323254444512x11152500025512254x12445423453342244x11152500025512254x14025133424251241x11152500025512254x14242420242544232x11152500025512254x15225201321405412x11152500025512254x15303444404222554x11231323055231440x14103222002243425x11344542150404252x14242420242544232x11434222012505521x14242420242544232x11513202530215203x14242420242544232x11543553345553301x14025133424251241x11543553345553301x14242420242544232x12123215041233401x12445423453342244x12123215041233401x14025133424251241x12123215041233401x14242420242544232x12243330511215250x13214302142220140x12243330511215250x14025133424251241x12243330511215250x14242420242544232x12332405012534402x12232323254444512x12332405012534402x14242420242544232x12350435133144505x14424215441340505x12353122252355553x14242420242544232x12400000051401520x14103222002243425x12550044003423045x14103222002243425x12550044003423045x14242420242544232x12550044003423045x14345512000240325x13441050150203434x12445423453342244x13441050150203434x14025133424251241x13512244020120012x12232323254444512x13512244020120012x14242420242544232x13524142130214514x12232323254444512x13531125521302003x12232323254444512x13531125521302003x12353122252355553x13531125521302003x13400540323024303x13531125521302003x13512244020120012x13531125521302003x14051310515134232x13531125521302003x14242420242544232x14034212100330050x13214302142220140x14034212100330050x14025133424251241x14034212100330050x14242420242544232x14034212100330050x15524202521315350x14113023323101111x10321154422012220x14113023323101111x10344115103202322x14113023323101111x10434255223454315x14113023323101111x10443220012520331x14113023323101111x11434222012505521x14113023323101111x11543553345553301x14113023323101111x12232323254444512x14113023323101111x12243330511215250x14113023323101111x12445423453342244x14113023323101111x12550044003423045x14113023323101111x13141324544444304x14113023323101111x13214302142220140x14113023323101111x13512244020120012x14113023323101111x13524142130214514x14113023323101111x14025133424251241x14113023323101111x14051310515134232x14113023323101111x14103222002243425x14113023323101111x14242420242544232x14113023323101111x14315232420425133x14113023323101111x14345512000240325x14113023323101111x14352423054133101x14113023323101111x14424215441340505x14113023323101111x14452331141510520x14113023323101111x14531132005251341x14113023323101111x15011003432432422x14113023323101111x15225201321405412x14113023323101111x15303444404222554x14113023323101111x15524202521315350x14220054153001352x12232323254444512x14220054153001352x14242420242544232x14220054153001352x14315232420425133x14315232420425133x14242420242544232x14345512000240325x14242420242544232x14352423054133101x14025133424251241x14352423054133101x14242420242544232x14452331141510520x14103222002243425x14531132005251341x14025133424251241x14531132005251341x14103222002243425x14531132005251341x14242420242544232x15011003432432422x14242420242544232x15033454214144141x10344115103202322x15033454214144141x10434255223454315x15033454214144141x10443220012520331x15033454214144141x12445423453342244x15033454214144141x14025133424251241x15033454214144141x14103222002243425x15033454214144141x14345512000240325x15033454214144141x14531132005251341x15033454214144141x15011003432432422x15155050423211231x10344115103202322x15155050423211231x10434255223454315x15155050423211231x10443220012520331x15155050423211231x11434222012505521x15155050423211231x12232323254444512x15155050423211231x12243330511215250x15155050423211231x12445423453342244x15155050423211231x13214302142220140x15155050423211231x14025133424251241x15155050423211231x14103222002243425x15155050423211231x14345512000240325x15155050423211231x14424215441340505x15155050423211231x14531132005251341x15155050423211231x15011003432432422x15155050423211231x15225201321405412x15204031031052112x10343420442153343x15204031031052112x10344115103202322x15204031031052112x10404445015243252x15204031031052112x12232323254444512x15204031031052112x12353122252355553x15204031031052112x13512244020120012x15204031031052112x14242420242544232x15204031031052112x14315232420425133x15204031031052112x15011003432432422x15204031031052112x15225201321405412x15204031031052112x15303444404222554x15225201321405412x14242420242544232x15322234013104450x14025133424251241x15322234013104450x14103222002243425x15332041040553224x12445423453342244x15332041040553224x14242420242544232x15444151234051552x14242420242544232x15524202521315350x14025133424251241x1ttt2ttt2 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])))