Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Relative 2019-03-29 08.12 pair #432296842
details
property
value
status
complete
benchmark
r8.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n017.star.cs.uiowa.edu
space
Waldmann_06_relative
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
3.12939 seconds
cpu usage
11.1267
user time
9.0122
system time
2.11448
max virtual memory
4639292.0
max residence set size
75768.0
stage attributes
key
value
starexec-result
YES
output
11.05/3.12 YES 11.05/3.12 11.05/3.12 Problem: 11.05/3.12 strict: 11.05/3.12 a(b(a(x1))) -> c(c(c(x1))) 11.05/3.12 c(c(c(x1))) -> a(c(a(x1))) 11.05/3.12 weak: 11.05/3.12 a(x1) -> b(c(b(x1))) 11.05/3.12 11.05/3.12 Proof: 11.05/3.12 Bounds Processor: 11.05/3.12 bound: 1 11.05/3.12 enrichment: match-rt 11.05/3.12 automaton: 11.05/3.12 final states: {4} 11.05/3.12 transitions: 11.05/3.12 c1(10) -> 11* 11.05/3.12 c1(182) -> 183* 11.05/3.12 c1(82) -> 83* 11.05/3.12 c1(244) -> 245* 11.05/3.12 c1(9) -> 10* 11.05/3.12 c1(176) -> 177* 11.05/3.12 c1(116) -> 117* 11.05/3.12 c1(71) -> 72* 11.05/3.12 c1(268) -> 269* 11.05/3.12 c1(228) -> 229* 11.05/3.12 c1(11) -> 12* 11.05/3.12 c1(103) -> 104* 11.05/3.12 c1(250) -> 251* 11.05/3.12 c1(28) -> 29* 11.05/3.12 c1(190) -> 191* 11.05/3.12 a1(45) -> 46* 11.05/3.12 a1(35) -> 36* 11.05/3.12 a1(167) -> 168* 11.05/3.12 a1(157) -> 158* 11.05/3.12 a1(27) -> 28* 11.05/3.12 a1(29) -> 30* 11.05/3.12 a1(161) -> 162* 11.05/3.12 a1(81) -> 82* 11.05/3.12 a1(83) -> 84* 11.05/3.12 a1(145) -> 146* 11.05/3.12 b1(267) -> 268* 11.05/3.12 b1(227) -> 228* 11.05/3.12 b1(207) -> 208* 11.05/3.12 b1(177) -> 178* 11.05/3.12 b1(117) -> 118* 11.05/3.12 b1(269) -> 270* 11.05/3.12 b1(249) -> 250* 11.05/3.12 b1(229) -> 230* 11.05/3.12 b1(189) -> 190* 11.05/3.12 b1(251) -> 252* 11.05/3.12 b1(221) -> 222* 11.05/3.12 b1(201) -> 202* 11.05/3.12 b1(191) -> 192* 11.05/3.12 b1(181) -> 182* 11.05/3.12 b1(243) -> 244* 11.05/3.12 b1(183) -> 184* 11.05/3.12 b1(245) -> 246* 11.05/3.12 b1(175) -> 176* 11.05/3.12 b1(115) -> 116* 11.05/3.12 a0(4) -> 4* 11.05/3.12 b0(4) -> 4* 11.05/3.12 c0(4) -> 4* 11.05/3.12 4 -> 115,45,9 11.05/3.12 9 -> 81* 11.05/3.12 10 -> 27* 11.05/3.12 11 -> 35* 11.05/3.12 12 -> 82,46,4 11.05/3.12 27 -> 207* 11.05/3.12 28 -> 161* 11.05/3.12 29 -> 181,71 11.05/3.12 30 -> 29,104,72,83,11,4,10 11.05/3.12 35 -> 175* 11.05/3.12 36 -> 28* 11.05/3.12 45 -> 221* 11.05/3.12 46 -> 28* 11.05/3.12 71 -> 145* 11.05/3.12 72 -> 10* 11.05/3.12 81 -> 201* 11.05/3.12 82 -> 167* 11.05/3.12 83 -> 189,103 11.05/3.12 84 -> 12* 11.05/3.12 103 -> 157* 11.05/3.12 104 -> 10* 11.05/3.12 118 -> 4* 11.05/3.12 145 -> 243* 11.05/3.12 146 -> 82* 11.05/3.12 157 -> 227* 11.05/3.12 158 -> 82* 11.05/3.12 161 -> 249* 11.05/3.12 162 -> 28* 11.05/3.12 167 -> 267* 11.05/3.12 168 -> 28* 11.05/3.12 178 -> 36* 11.05/3.12 184 -> 30* 11.05/3.12 192 -> 84* 11.05/3.12 202 -> 190* 11.05/3.12 208 -> 176* 11.05/3.12 222 -> 190* 11.05/3.12 230 -> 158*
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS_Relative 2019-03-29 08.12