SRS_Standard 2019-03-29 03.29 pair #432286596

details

property	value
status	complete
benchmark	40093.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n140.star.cs.uiowa.edu
space	ICFP_2010

run statistics

property	value
solver	ttt2-1.19
configuration	ttt2
runtime (wallclock)	1.11626 seconds
cpu usage	3.07314
user time	2.44241
system time	0.630728
max virtual memory	3662116.0
max residence set size	70532.0

stage attributes

key	value
starexec-result	YES

output

2.91/1.10	YES
2.91/1.11	
2.91/1.11	Problem:
2.91/1.11	 0(1(2(3(4(5(1(x1))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))
2.91/1.11	 0(1(2(3(4(5(1(x1))))))) ->
2.91/1.11	 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))))))))
2.91/1.11	
2.91/1.11	Proof:
2.91/1.11	 Bounds Processor:
2.91/1.11	  bound: 1
2.91/1.11	  enrichment: match
2.91/1.11	  automaton:
2.91/1.11	   final states: {21,1}
2.91/1.11	   transitions:
2.91/1.11	    11(102) -> 103*
2.91/1.11	    11(72) -> 73*
2.91/1.11	    11(67) -> 68*
2.91/1.11	    11(64) -> 65*
2.91/1.11	    11(116) -> 117*
2.91/1.11	    11(111) -> 112*
2.91/1.11	    11(66) -> 67*
2.91/1.11	    11(108) -> 109*
2.91/1.11	    11(58) -> 59*
2.91/1.11	    11(110) -> 111*
2.91/1.11	    21(107) -> 108*
2.91/1.11	    21(57) -> 58*
2.91/1.11	    21(101) -> 102*
2.91/1.11	    21(71) -> 72*
2.91/1.11	    21(63) -> 64*
2.91/1.11	    21(115) -> 116*
2.91/1.11	    31(70) -> 71*
2.91/1.11	    31(62) -> 63*
2.91/1.11	    31(114) -> 115*
2.91/1.11	    31(106) -> 107*
2.91/1.11	    31(56) -> 57*
2.91/1.11	    31(100) -> 101*
2.91/1.11	    41(55) -> 56*
2.91/1.11	    41(99) -> 100*
2.91/1.11	    41(69) -> 70*
2.91/1.11	    41(61) -> 62*
2.91/1.11	    41(113) -> 114*
2.91/1.11	    41(105) -> 106*
2.91/1.11	    51(60) -> 61*
2.91/1.11	    51(122) -> 123*
2.91/1.11	    51(112) -> 113*
2.91/1.11	    51(104) -> 105*
2.91/1.11	    51(74) -> 75*
2.91/1.11	    51(54) -> 55*
2.91/1.11	    51(118) -> 119*
2.91/1.11	    51(98) -> 99*
2.91/1.11	    51(68) -> 69*
2.91/1.11	    01(65) -> 66*
2.91/1.11	    01(109) -> 110*
2.91/1.11	    01(59) -> 60*
2.91/1.11	    01(103) -> 104*
2.91/1.11	    f60() -> 2*
2.91/1.11	    10(25) -> 26*
2.91/1.11	    10(20) -> 1*
2.91/1.11	    10(15) -> 16*
2.91/1.11	    10(27) -> 28*
2.91/1.11	    10(12) -> 13*
2.91/1.11	    10(14) -> 15*
2.91/1.11	    10(6) -> 7*
2.91/1.11	    10(33) -> 21*
2.91/1.11	    10(28) -> 29*
2.91/1.11	    20(5) -> 6*
2.91/1.11	    20(32) -> 33*
2.91/1.11	    20(24) -> 25*
2.91/1.11	    20(19) -> 20*
2.91/1.11	    20(11) -> 12*
2.91/1.11	    30(10) -> 11*
2.91/1.11	    30(4) -> 5*
2.91/1.11	    30(31) -> 32*
2.91/1.11	    30(23) -> 24*
2.91/1.11	    30(18) -> 19*
2.91/1.11	    40(30) -> 31*
2.91/1.11	    40(22) -> 23*
2.91/1.11	    40(17) -> 18*
2.91/1.11	    40(9) -> 10*
2.91/1.11	    40(3) -> 4*
2.91/1.11	    50(2) -> 3*
2.91/1.11	    50(29) -> 30*
2.91/1.11	    50(14) -> 22*
2.91/1.11	    50(16) -> 17*
2.91/1.11	    50(8) -> 9*
2.91/1.11	    00(7) -> 8*
2.91/1.11	    00(26) -> 27*
2.91/1.11	    00(13) -> 14*
2.91/1.11	    1 -> 8*
2.91/1.11	    20 -> 54*
2.91/1.11	    21 -> 8*
2.91/1.11	    33 -> 122*
2.91/1.11	    66 -> 74*
2.91/1.11	    72 -> 98*
2.91/1.11	    73 -> 14*
2.91/1.11	    75 -> 61*
2.91/1.11	    110 -> 118*
2.91/1.11	    117 -> 27*
2.91/1.11	    119 -> 105*
2.91/1.11	    123 -> 55*

popout

output may be truncated. 'popout' for the full output.

job log

popout

actions all output return to SRS_Standard 2019-03-29 03.29