Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487515549
details
property
value
status
complete
benchmark
88172.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n004.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.20
configuration
ttt2
runtime (wallclock)
16.2014298439 seconds
cpu usage
62.97308299
max memory
2.378162176E9
stage attributes
key
value
output-size
11920
starexec-result
YES
output
/export/starexec/sandbox2/solver/bin/starexec_run_ttt2 /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES Problem: 0(0(0(0(0(1(1(2(0(0(3(1(3(x1))))))))))))) -> 2(3(3(1(1(2(3(1(2(1(1(2(2(1(0(2(3(x1))))))))))))))))) 0(0(0(3(1(2(2(3(2(3(1(0(1(x1))))))))))))) -> 3(2(1(3(0(1(3(1(1(2(1(3(3(3(3(1(3(x1))))))))))))))))) 0(0(3(0(1(1(2(1(0(1(3(3(3(x1))))))))))))) -> 1(3(3(1(0(2(1(1(2(2(3(2(1(2(1(1(3(x1))))))))))))))))) 0(0(3(2(1(3(2(2(3(2(0(0(0(x1))))))))))))) -> 1(2(1(3(2(3(2(2(3(3(1(0(0(2(1(3(3(x1))))))))))))))))) 0(3(0(1(3(1(3(2(2(1(2(2(0(x1))))))))))))) -> 2(3(3(0(3(3(3(1(3(2(0(2(2(1(3(1(2(x1))))))))))))))))) 0(3(2(2(0(0(3(2(3(1(1(2(1(x1))))))))))))) -> 2(0(3(3(1(2(0(3(1(2(1(2(1(1(0(3(1(x1))))))))))))))))) 0(3(3(3(0(1(2(3(1(1(0(0(3(x1))))))))))))) -> 0(2(2(0(1(2(1(2(1(3(1(3(0(3(3(0(3(x1))))))))))))))))) 1(0(1(3(1(1(1(1(3(2(0(3(2(x1))))))))))))) -> 3(3(3(1(3(3(0(1(0(1(2(1(2(1(1(0(3(x1))))))))))))))))) 1(0(3(2(3(3(0(0(1(2(1(0(1(x1))))))))))))) -> 2(1(1(1(1(3(2(2(2(1(3(3(1(3(2(2(1(x1))))))))))))))))) 1(1(0(0(0(2(3(0(1(2(0(1(3(x1))))))))))))) -> 1(2(2(2(1(3(3(2(1(1(2(1(0(2(0(2(3(x1))))))))))))))))) 1(1(2(1(0(2(2(0(3(0(0(0(0(x1))))))))))))) -> 2(2(1(3(3(3(1(2(0(1(0(2(3(1(1(0(3(x1))))))))))))))))) 1(3(2(3(1(1(2(0(1(2(3(1(0(x1))))))))))))) -> 1(3(2(2(0(2(3(3(0(1(2(1(2(2(1(3(1(x1))))))))))))))))) 2(0(3(3(3(2(2(3(2(0(0(3(3(x1))))))))))))) -> 3(3(2(2(0(1(1(2(1(1(2(1(2(2(1(3(3(x1))))))))))))))))) 2(1(2(0(2(1(0(1(1(0(1(2(0(x1))))))))))))) -> 0(0(1(1(3(3(1(1(0(0(3(3(3(3(3(3(2(x1))))))))))))))))) 2(2(3(1(3(2(2(0(2(2(2(2(0(x1))))))))))))) -> 2(1(3(0(1(3(2(2(1(0(0(2(1(1(3(0(0(x1))))))))))))))))) 2(3(0(3(0(2(1(2(0(3(2(0(1(x1))))))))))))) -> 2(1(3(3(0(2(2(1(3(2(0(2(2(2(1(2(1(x1))))))))))))))))) 2(3(1(0(1(0(0(1(1(0(1(2(1(x1))))))))))))) -> 1(3(1(3(3(3(3(2(2(1(3(1(2(1(1(0(3(x1))))))))))))))))) 2(3(3(1(2(2(3(0(2(2(0(0(1(x1))))))))))))) -> 2(3(1(2(2(1(1(3(1(3(3(3(3(0(3(0(0(x1))))))))))))))))) 2(3(3(1(2(2(3(2(3(1(1(0(1(x1))))))))))))) -> 2(2(1(0(2(1(1(1(2(2(1(1(3(3(2(1(3(x1))))))))))))))))) 3(0(3(0(2(3(2(3(3(3(1(2(1(x1))))))))))))) -> 2(1(2(1(3(2(1(3(2(1(2(1(3(1(3(3(1(x1))))))))))))))))) 3(0(3(0(2(3(3(2(3(2(2(2(1(x1))))))))))))) -> 2(2(2(1(3(3(3(2(1(1(2(1(1(1(1(3(1(x1))))))))))))))))) 3(0(3(1(3(2(0(0(1(2(1(0(0(x1))))))))))))) -> 3(1(3(0(3(3(2(2(1(1(2(2(2(1(1(0(2(x1))))))))))))))))) 3(1(2(3(1(1(3(1(1(3(0(1(1(x1))))))))))))) -> 3(3(2(1(3(1(2(3(3(3(2(1(1(2(1(0(1(x1))))))))))))))))) 3(2(2(1(0(2(0(3(3(3(3(2(1(x1))))))))))))) -> 3(3(3(2(3(1(1(3(3(2(1(2(1(2(1(3(1(x1))))))))))))))))) 3(2(3(0(1(1(3(0(0(0(0(2(1(x1))))))))))))) -> 3(3(2(1(1(2(3(2(1(2(0(3(1(3(2(2(1(x1))))))))))))))))) 3(2(3(2(3(2(3(0(3(2(0(1(1(x1))))))))))))) -> 2(2(1(1(2(1(3(3(2(0(0(0(0(0(1(3(3(x1))))))))))))))))) 3(3(1(3(1(2(3(2(0(2(2(0(0(x1))))))))))))) -> 2(1(2(1(3(0(2(2(0(2(2(1(1(3(3(3(3(x1))))))))))))))))) 3(3(2(1(3(1(2(0(0(3(2(3(3(x1))))))))))))) -> 3(2(1(3(2(2(1(3(3(3(1(0(2(1(3(3(3(x1))))))))))))))))) Proof: Bounds Processor: bound: 0 enrichment: match automaton: final states: {404,389,375,364,351,335,319,305,290,275,261,250,235, 218,202,189,174,161,147,131,116,100,83,66,50,35,19, 1} transitions: 20(7) -> 8* 20(289) -> 275* 20(236) -> 237* 20(183) -> 184* 20(140) -> 141* 20(40) -> 41* 20(249) -> 235* 20(3) -> 4* 20(234) -> 218* 20(185) -> 186* 20(162) -> 163* 20(337) -> 338* 20(317) -> 318* 20(299) -> 300* 20(150) -> 151* 20(238) -> 239* 20(416) -> 417* 20(191) -> 192* 20(159) -> 160* 20(25) -> 26* 20(412) -> 413* 20(223) -> 224* 20(114) -> 115* 20(36) -> 37* 20(139) -> 140* 20(52) -> 53* 20(61) -> 62* 20(296) -> 297* 20(285) -> 286* 20(348) -> 349* 20(380) -> 381* 20(244) -> 245* 20(90) -> 91* 20(2) -> 67* 20(405) -> 406* 20(176) -> 177* 20(120) -> 121* 20(367) -> 368* 20(352) -> 353* 20(316) -> 317* 20(59) -> 60* 20(157) -> 158* 20(84) -> 132* 20(288) -> 289* 20(397) -> 398* 20(344) -> 345* 20(327) -> 328* 20(394) -> 395* 20(108) -> 109* 20(172) -> 173* 20(73) -> 74* 20(186) -> 187* 20(18) -> 1*
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard