Benchmark CPA/CoVeriTest CPA/Tiger-MGP ESBMC-bkind ESBMC-falsif FairFuzz KLEE PRtest Symbiotic VeriFuzz
Tool CPAchecker 1.8-svn 30375 CPAchecker 1.8-svn 30541M ESBMC version 6.0.0 64-bit x86_64 linux FairFuzz TC-0.0.2 KLEE 2.0.0-pre-test-comp tbf v0.3.0-testcomp19 symbiotic 6.0.3-dev-fd3f777b VeriFuzz 1.0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-45-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2019-02-05 21:05:56 CET 2019-02-05 21:13:54 CET 2019-02-05 21:13:25 CET 2019-02-05 21:11:17 CET 2019-02-08 09:39:09 CET 2019-02-05 21:09:47 CET 2019-02-06 06:02:44 CET 2019-02-06 07:07:32 CET 2019-02-06 07:17:17 CET
Run set coveritest.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] cpa-tiger.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] esbmc-kind.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] esbmc-falsi.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] fairfuzz.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] klee.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] prtest.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] symbiotic.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] verifuzz.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized]
Options -benchmark -heap 10000M -testcomp19 -benchmark -heap 10000M -tigertestcomp19 -s kinduction -s falsi --stats -i random --write-xml --svcomp-nondets --test-comp --verifier klee-testcomp --testcomp
../sv-benchmarks/c/ status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J)
array-examples/standard_copy1_ground-2.yml timeout 900   2200 11000 timeout 900   7300 11000 timeout 900     11000 11000    timeout 940     8200 14000    timeout 1 900    59 13000   false(unreach-call) 1 1.9  180 28    timeout 900    31 15000   done 1 6.9  420 100   done 1 3.4 150 36
array-examples/standard_copy2_ground-1.yml timeout 900   2400 12000 timeout 900   7200 11000 timeout 900     11000 10000    timeout 900     10000 10000    timeout 1 900    71 11000   false(unreach-call) 1 2.2  190 35    timeout 900    31 13000   done 1 9.3  530 120   done 1 3.4 150 39
array-examples/standard_copy3_ground-2.yml timeout 900   2700 12000 timeout 900   7700 11000 timeout 900     11000 9900    timeout 940     3600 10000    timeout 1 900    72 11000   false(unreach-call) 1 2.6  190 34    timeout 900    31 14000   done 1 10    580 150   done 1 3.7 150 36
array-examples/standard_copy4_ground-2.yml timeout 900   2800 11000 timeout 900   8100 12000 timeout 900     11000 9600    timeout 900     11000 9900    timeout 1 900    79 13000   false(unreach-call) 1 3.1  200 44    timeout 900    31 12000   done 1 11    640 160   done 1 3.6 150 44
array-examples/standard_copy5_ground-2.yml timeout 900   2800 10000 timeout 900   7700 11000 timeout 900     11000 9900    timeout 900     11000 9400    timeout 1 900    63 13000   false(unreach-call) 1 3.5  200 46    timeout 900    30 14000   done 1 13    700 170   done 1 3.6 150 39
array-examples/standard_copy6_ground-1.yml timeout 900   2700 11000 timeout 900   8200 11000 timeout 900     11000 12000    timeout 900     10000 9700    timeout 1 900    74 11000   false(unreach-call) 1 3.9  200 52    timeout 900    31 12000   done 1 13    770 220   done 1 3.6 150 39
array-examples/standard_copy7_ground-1.yml timeout 900   2700 13000 timeout 900   8500 11000 timeout 900     11000 11000    timeout 900     11000 12000    timeout 1 900    62 11000   false(unreach-call) 1 4.4  210 66    timeout 900    31 13000   done 1 15    850 190   done 1 3.7 150 39
array-examples/standard_copy8_ground-2.yml timeout 900   3100 12000 timeout 900   9100 11000 timeout 900     11000 10000    timeout 900     11000 12000    timeout 1 900    65 9900   false(unreach-call) 1 4.8  210 68    timeout 900    31 14000   done 1 16    930 200   done 1 3.4 150 35
array-examples/standard_copy9_ground-1.yml timeout 900   3300 11000 timeout 900   9500 11000 timeout 900     11000 11000    timeout 900     11000 9600    timeout 1 900    79 11000   false(unreach-call) 1 5.4  210 86    timeout 900    31 14000   done 1 17    1000 210   done 1 3.8 160 40
array-examples/standard_partition_ground-1.yml timeout 900   2200 11000 timeout 900   6700 13000 timeout 900     4300 12000    timeout 900     3500 12000    couldn't run: all seeds time out or crash 1.4  14 17   out of memory 8.3  15000 99    timeout 900    31 14000   out of memory (killed (signal 9, verification)) 45    15000 540   done 1 3.4 150 38
array-industry-pattern/array_ptr_single_elem_init-2.yml timeout 900   1800 12000 timeout 930   4900 12000 timeout 900     5000 11000    timeout 900     4000 11000    couldn't run: all seeds time out or crash 1.4  15 15   timeout 900    11000 9400    timeout 900    35 13000   done 1 2.0  190 21   done 1 3.4 150 37
array-industry-pattern/array_single_elem_init.yml timeout 900   2000 12000 timeout 900   6800 11000 timeout 900     5000 11000    timeout 900     3900 11000    timeout 900    69 12000   timeout 900    11000 8700    timeout 900    35 13000   out of memory (killed (signal 9, verification)) 15    15000 220   timeout 900   150 11000
reducercommutativity/rangesum.yml done 48   940 460 unknown 29   540 340 false(unreach-call) 1 1.1   62 15    false(unreach-call) 1 .29  29 3.1  false(unreach-call) 1 730    57 8800   false(valid-deref) 1 .26 41 2.9  error (0) .26 31 3.4 done 1 1.3  23 21   done 1 4.0 150 37
reducercommutativity/rangesum05.yml done 99   2400 980 unknown 79   670 830 false(unreach-call) 1 .89  58 11    false(unreach-call) 1 .11  26 1.4  false(unreach-call) 1 11    15 32   false(unreach-call) 1 .14 21 1.2  unknown 1 .28 31 2.9 done 1 .88 64 10   done 1 3.5 150 33
reducercommutativity/rangesum10.yml timeout 900   3600 8200 timeout 900   2200 10000 false(unreach-call) 1 .90  58 11    false(unreach-call) 1 .13  26 1.3  false(unreach-call) 1 8.4  13 27   false(unreach-call) 1 .14 22 2.7  unknown 1 .28 31 3.1 done 1 .91 63 11   done 1 3.5 150 40
reducercommutativity/rangesum20.yml timeout 900   4400 9800 timeout 900   1800 8100 false(unreach-call) 1 1.4   58 15    false(unreach-call) 1 .63  29 7.0  false(unreach-call) 1 8.6  13 37   false(unreach-call) 1 .18 36 3.1  unknown 1 .26 31 3.4 done 1 1.8  65 21   done 1 3.5 150 39
reducercommutativity/rangesum40.yml timeout 900   4700 10000 timeout 900   2300 8900 false(unreach-call) 1 9.3   59 120    false(unreach-call) 1 8.5   45 98    false(unreach-call) 1 14    12 42   false(unreach-call) 1 .21 41 2.2  unknown 1 .26 31 3.2 done 1 7.3  70 100   done 1 3.5 150 36
reducercommutativity/rangesum60.yml timeout 900   5200 12000 timeout 900   4600 8200 false(unreach-call) 1 180     170 2400    false(unreach-call) 1 180     170 2300    false(unreach-call) 1 14    12 52   false(unreach-call) 1 .23 48 2.7  unknown 1 .27 31 3.2 done 1 50    86 620   done 1 3.5 150 37
array-tiling/mlceu.yml timeout 900   910 10000 timeout 900   610 12000 done .13  27 1.8  timeout 900     160 12000    done 28    14 120   done .16 21 1.2  error (0) .20 31 2.8 timeout (verification) 900    2200 12000   timeout 900   150 12000
array-tiling/skippedu.yml done 1 23   780 190 unknown 1 3.3 280 30 false(unreach-call) .17  27 1.9  false(unreach-call) .14  27 1.6  timeout 1 900    34 13000   false(unreach-call) 1 .17 21 1.5  error (0) .19 31 2.8 done 1.0  24 14   done 1 11   150 140
array-programs/copysome1-2.yml timeout 900   2900 10000 timeout 900   8200 9800 timeout 900     10000 9100    timeout 900     9900 9900    couldn't run: all seeds time out or crash 3.1  17 45   false(unreach-call) 1 5.1  350 74    timeout 900    31 14000   done 1 25    1200 220   done 1 3.6 150 33
array-programs/copysome2-2.yml timeout 900   2900 10000 timeout 900   8900 11000 timeout 900     10000 9600    timeout 900     10000 9200    couldn't run: all seeds time out or crash 3.1  15 44   false(unreach-call) 1 7.2  530 110    timeout 900    31 14000   done 1 44    1500 360   done 1 440   4200 6300
bitvector/byte_add-1.yml done 1 33   1100 380 unknown 1 14   310 170 false(unreach-call) 1 .11  27 1.3  false(unreach-call) 1 .12  27 1.2  false(unreach-call) 1 44    18 140   false(unreach-call) 1 .17 21 1.5  unknown 1 .26 31 3.0 done 1 1.1  20 13   done 1 4.1 160 40
bitvector/s3_clnt_1.BV.c.cil-2.yml done 1 9.3 320 82 unknown 1 8.8 360 82 false(unreach-call) 4.1   89 47    false(unreach-call) 2.3   78 35    false(unreach-call) 1 300    17 900   false(unreach-call) 1 .20 23 2.5  timeout 900    31 15000   done 2.9  22 44   done 1 130   200 1600
bitvector/s3_clnt_2.BV.c.cil-2.yml done 1 35   1000 330 unknown 1 18   370 190 false(unreach-call) 4.4   96 54    false(unreach-call) 2.4   82 33    done 26    13 110   false(unreach-call) 1 .59 36 6.6  timeout 900    31 13000   done 3.3  22 46   done 1 670   200 7800
bitvector/s3_clnt_3.BV.c.cil-2.yml done 1 7.2 350 58 unknown 1 6.1 310 56 false(unreach-call) 1.6   57 22    false(unreach-call) .85  51 11    done 26    14 120   false(unreach-call) 1 .15 21 3.0  timeout 900    31 10000   done 1.8  20 25   done 1 40   200 430
bitvector/soft_float_1-3.c.cil.yml done 1 23   790 200 unknown 1 4.3 280 42 false(unreach-call) 1 .17  27 2.1  false(unreach-call) 1 .18  27 2.1  false(unreach-call) 1 100    21 550   false(unreach-call) 1 .23 22 2.2  unknown 1 .26 31 2.9 done 1 1.8  21 28   done 1 4.8 170 49
bitvector/soft_float_4-3.c.cil.yml done 1 16   600 130 unknown 1 3.9 280 34 false(unreach-call) 1 .32  27 3.8  false(unreach-call) 1 .32  27 4.0  false(unreach-call) 1 210    23 500   false(unreach-call) 1 .15 21 1.7  unknown 1 .26 31 3.4 done 1 1.7  21 24   done 1 4.3 170 42
bitvector/sum02-1.yml timeout 900   5500 9000 timeout 900   3200 8700 timeout 900     890 11000    timeout 900     640 11000    false(unreach-call) 1 740    10 11000   timeout 900    2400 11000    unknown 1 7.9  31 100   timeout (verification) 900    400 13000   done 1 9.6 150 100
bitvector-regression/recHanoi03-1.yml out of memory 140   15000 1400 error (recursion) 2.8 260 27 false(unreach-call) 1 .63  26 6.1  false(unreach-call) 1 .53  26 5.8  false(unreach-call) 1 690    11 8700   false(unreach-call) 1 .15 21 1.5  error (0) .25 31 3.5 timeout (verification) 900    730 13000   done 1 8.7 150 88
bitvector-loops/diamond_2-1.yml done 1 25   1100 230 unknown 1 3.1 280 31 false(unreach-call) 1 .11  26 1.2  false(unreach-call) 1 .092 27 1.7  false(unreach-call) 1 23    18 80   false(unreach-call) 1 .11 21 1.5  unknown 1 .29 31 2.9 done 1 .63 19 7.6 done 1 3.3 150 37
bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml timeout 900   1600 12000 timeout 900   630 15000 false(unreach-call) 1 .26  27 3.1  false(unreach-call) 1 .21  27 2.4  false(unreach-call) 1 39    17 170   false(unreach-call) 1 .21 22 1.7  timeout 900    31 12000   done 1 .97 20 13   done 1 6.2 150 85
ntdrivers-simplified/cdaudio_simpl1.cil-1.yml done 1 7.6 330 69 unknown 1 9.6 400 79 false(unreach-call) .51  52 6.2  false(unreach-call) .52  52 11    timeout 900    20 3900   false(unreach-call) 1 .23 25 2.5  timeout 900    31 12000   done 3.7  31 46   error 860   250 11000
ntdrivers-simplified/floppy_simpl3.cil-1.yml done 1 7.2 290 64 unknown 1 5.8 320 57 false(unreach-call) .22  33 2.6  false(unreach-call) .22  32 2.6  false(unreach-call) 1 450    20 1500   false(unreach-call) 1 .15 21 1.8  timeout 900    31 12000   done 2.2  22 24   done 1 18   190 210
ntdrivers-simplified/floppy_simpl4.cil-1.yml done 1 8.4 320 71 unknown 1 7.5 350 68 false(unreach-call) .33  39 3.7  false(unreach-call) .34  39 5.5  false(unreach-call) 1 660    20 2000   false(unreach-call) 1 .23 25 2.9  timeout 900    31 13000   done 3.1  26 38   done 1 100   200 1100
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml done 1 6.4 290 57 unknown 1 4.9 300 45 false(unreach-call) .17  30 2.1  false(unreach-call) .17  30 2.2  false(unreach-call) 1 240    19 920   false(unreach-call) 1 .20 21 1.6  timeout 900    30 12000   done 1.8  20 22   done 1 20   190 230
ssh-simplified/s3_clnt_1.cil-2.yml done 1 7.1 330 68 unknown 1 6.9 330 59 false(unreach-call) 2.0   63 49    false(unreach-call) .92  56 12    done 26    14 120   false(unreach-call) 1 .16 21 2.4  timeout 900    31 12000   done 1.7  20 22   done 1 70   200 870
ssh-simplified/s3_clnt_2.cil-1.yml done 1 7.2 340 66 unknown 1 5.9 310 49 false(unreach-call) 1.8   64 24    false(unreach-call) .94  56 11    done 39    13 100   false(unreach-call) 1 .16 21 1.8  timeout 900    31 12000   done 1.7  19 23   done 1 63   200 610
ssh-simplified/s3_clnt_3.cil-2.yml done 1 7.1 290 68 unknown 1 7.2 340 64 false(unreach-call) 2.2   75 25    false(unreach-call) 1.1   66 14    done 38    14 110   false(unreach-call) 1 .19 21 1.9  timeout 900    31 13000   done 1.9  20 25   done 1 75   210 900
ssh-simplified/s3_clnt_4.cil-2.yml done 1 6.9 330 64 unknown 1 6.1 310 56 false(unreach-call) 1.9   65 22    false(unreach-call) .98  58 12    done 40    14 120   false(unreach-call) 1 .21 21 2.0  timeout 900    31 12000   done 1.8  20 23   done 1 85   200 1000
eca-rers2012/Problem03_label09.yml done 1 21   760 170 unknown 1 20   630 180 false(unreach-call) 1 7.6   250 78    false(unreach-call) 1 4.2   220 49    timeout 1 900    71 4400   false(unreach-call) 1 1.0  45 12    timeout 900    52 12000   done 1 30    190 450   done 1 9.5 280 110
eca-rers2012/Problem03_label13.yml done 1 19   760 170 unknown 1 18   690 150 false(unreach-call) 1 4.1   190 61    false(unreach-call) 1 2.0   160 22    timeout 1 900    70 2700   false(unreach-call) 1 .52 34 6.1  timeout 900    52 14000   done 1 29    100 410   done 1 10   280 120
eca-rers2012/Problem03_label26.yml done 1 16   610 150 unknown 1 19   660 180 false(unreach-call) 1 4.1   190 46    false(unreach-call) 1 2.0   160 23    done 12    71 56   false(unreach-call) 1 .79 39 8.5  timeout 900    52 14000   done 1 29    85 420   done 1 8.2 290 78
eca-rers2012/Problem03_label27.yml done 1 18   590 160 unknown 1 19   660 170 false(unreach-call) 1 4.2   190 43    false(unreach-call) 1 2.1   160 22    timeout 1 900    70 2700   false(unreach-call) 1 .91 42 11    timeout 900    52 14000   done 1 29    120 420   done 1 8.2 280 92
eca-rers2012/Problem03_label28.yml done 1 18   620 160 unknown 1 19   690 170 false(unreach-call) 1 4.2   190 44    false(unreach-call) 1 2.1   160 27    timeout 1 900    70 2100   false(unreach-call) 1 .84 40 11    timeout 900    52 13000   done 1 30    170 390   done 1 8.1 280 87
eca-rers2012/Problem03_label31.yml done 1 20   700 160 unknown 1 20   560 200 false(unreach-call) 1 4.2   190 49    false(unreach-call) 1 2.1   160 21    timeout 1 900    70 7500   false(unreach-call) 1 .63 36 7.9  timeout 900    52 12000   done 1 30    160 380   done 1 8.3 270 85
eca-rers2012/Problem03_label35.yml done 1 21   810 160 unknown 1 20   750 190 false(unreach-call) 1 7.5   250 79    false(unreach-call) 1 4.2   220 49    timeout 1 900    71 3500   false(unreach-call) 1 1.1  45 14    timeout 900    52 15000   done 1 31    290 380   done 1 10   290 100
eca-rers2012/Problem03_label37.yml done 1 15   530 130 unknown 1 17   650 190 false(unreach-call) 1 4.1   190 51    false(unreach-call) 1 2.0   160 24    done 21    72 75   false(unreach-call) 1 1.2  49 16    timeout 900    52 15000   done 1 28    84 300   done 1 8.1 280 73
eca-rers2012/Problem03_label39.yml done 1 20   750 160 unknown 1 19   740 190 false(unreach-call) 1 7.6   250 73    false(unreach-call) 1 4.2   220 53    timeout 1 900    72 2100   false(unreach-call) 1 1.0  45 12    timeout 900    52 13000   done 1 31    250 400   done 1 8.4 280 78
eca-rers2012/Problem03_label43.yml done 1 16   530 150 unknown 1 19   640 180 false(unreach-call) 1 4.2   190 47    false(unreach-call) 1 2.0   160 22    timeout 1 900    71 4400   false(unreach-call) 1 1.5  59 17    timeout 900    52 14000   done 1 29    84 380   done 1 8.4 290 80
eca-rers2012/Problem03_label45.yml done 1 20   880 170 unknown 1 22   660 220 false(unreach-call) 1 7.8   250 110    false(unreach-call) 1 4.5   220 54    timeout 1 900    71 4000   false(unreach-call) 1 1.1  48 17    timeout 900    52 13000   done 1 30    230 400   done 1 12   280 120
eca-rers2012/Problem03_label50.yml done 1 19   710 150 unknown 1 19   560 180 false(unreach-call) 1 4.2   190 50    false(unreach-call) 1 2.0   160 25    done 18    70 60   false(unreach-call) 1 .72 38 8.5  timeout 900    52 13000   done 1 30    150 420   done 1 9.5 290 100
eca-rers2012/Problem03_label52.yml done 1 20   890 180 unknown 1 20   600 180 false(unreach-call) 1 7.7   250 100    false(unreach-call) 1 4.3   220 52    timeout 1 900    70 4000   false(unreach-call) 1 1.2  50 18    timeout 900    52 13000   done 1 31    290 390   done 1 8.6 280 110
eca-rers2012/Problem04_label04.yml done 1 140   4800 1200 unknown 1 93   3400 1000 false(unreach-call) 1 270     1700 2700    false(unreach-call) 1 160     1400 1900    timeout 900    130 2600   false(unreach-call) 1 240    2900 1900    timeout 900    65 13000   done 1 410    9300 3500   done 1 93   340 1100
eca-rers2012/Problem04_label06.yml done 1 130   4700 1400 unknown 1 120   3400 1000 false(unreach-call) 1 280     1800 3400    false(unreach-call) 1 170     1400 2100    timeout 900    130 2800   false(unreach-call) 1 300    3500 2200    timeout 900    65 12000   done 1 480    11000 3300   done 1 91   340 1300
eca-rers2012/Problem04_label09.yml done 1 99   4100 1000 unknown 1 85   3100 890 false(unreach-call) 1 190     1400 1900    false(unreach-call) 1 120     1200 1200    done 26    130 160   false(unreach-call) 1 280    3300 1800    timeout 900    65 14000   done 1 250    5600 2800   done 1 93   340 1400
eca-rers2012/Problem04_label13.yml done 1 110   4500 970 unknown 1 84   2900 830 false(unreach-call) 1 200     1500 2300    false(unreach-call) 1 130     1200 1500    done 25    130 220   false(unreach-call) 1 220    2700 1600    timeout 900    65 14000   done 1 320    7000 2600   done 1 85   360 1200
eca-rers2012/Problem04_label15.yml done 1 100   4200 950 unknown 1 87   3400 870 false(unreach-call) 1 190     1500 2500    false(unreach-call) 1 120     1200 1200    timeout 900    130 2400   false(unreach-call) 1 69    1100 640    timeout 900    65 13000   done 1 280    6400 3600   done 1 88   330 1000
eca-rers2012/Problem04_label18.yml done 1 230   5600 2300 unknown 1 140   3700 1500 false(unreach-call) 1 190     1400 2200    false(unreach-call) 1 120     960 1500    timeout 900    130 2700   false(unreach-call) 1 220    2700 1800    timeout 900    65 14000   done 1 330    7400 3700   done 1 82   340 1100
eca-rers2012/Problem04_label19.yml done 1 240   6300 2600 unknown 1 170   4500 1600 false(unreach-call) 1 280     1700 3200    false(unreach-call) 1 180     1400 2100    timeout 900    130 2800   false(unreach-call) 1 200    2500 1700    timeout 900    66 14000   done 1 860    15000 5600   done 1 86   340 1100
eca-rers2012/Problem04_label26.yml done 1 110   4500 1100 unknown 1 95   3000 1000 false(unreach-call) 1 260     1700 3600    false(unreach-call) 1 170     1400 2200    timeout 900    130 2600   false(unreach-call) 1 250    3000 2400    timeout 900    65 12000   done 1 340    7500 3300   done 1 84   340 1000
eca-rers2012/Problem04_label31.yml done 1 210   5800 2000 unknown 1 140   3800 1400 false(unreach-call) 1 260     1800 3100    false(unreach-call) 1 160     1400 1900    done 32    130 190   false(unreach-call) 1 270    3200 2700    timeout 900    65 14000   done 1 440    9800 3400   done 1 87   350 1200
eca-rers2012/Problem04_label32.yml done 1 200   5500 2000 unknown 1 130   3100 1300 false(unreach-call) 1 190     1400 2000    false(unreach-call) 1 120     1200 1700    timeout 900    130 5000   false(unreach-call) 1 280    3200 2000    timeout 900    65 12000   done 1 290    6400 3400   done 1 90   340 1300
eca-rers2012/Problem04_label35.yml done 1 230   5600 2600 unknown 1 140   3500 1700 false(unreach-call) 1 200     1500 2200    false(unreach-call) 1 120     1200 1500    timeout 900    130 5000   false(unreach-call) 1 230    2800 1600    timeout 900    65 15000   done 1 270    5700 2500   done 1 79   350 1000
eca-rers2012/Problem04_label38.yml done 1 220   5700 2200 unknown 1 130   3500 1600 false(unreach-call) 1 280     1800 3600    false(unreach-call) 1 180     1400 2100    timeout 900    130 2800   false(unreach-call) 1 240    2900 1800    timeout 900    65 12000   done 1 360    8100 3300   done 1 95   350 1000
eca-rers2012/Problem04_label39.yml done 1 120   4500 1400 unknown 1 100   3100 1100 false(unreach-call) 1 280     1800 3100    false(unreach-call) 1 180     1400 1800    done 29    130 170   false(unreach-call) 1 330    3700 2500    timeout 900    66 12000   done 1 420    9700 3200   done 1 93   350 1100
eca-rers2012/Problem04_label45.yml done 1 120   4700 1100 unknown 1 94   3100 990 false(unreach-call) 1 260     1700 2900    false(unreach-call) 1 160     1400 1800    timeout 900    130 4000   false(unreach-call) 1 270    3100 2000    timeout 900    65 12000   done 1 300    6900 3800   done 1 93   340 1100
eca-rers2012/Problem04_label52.yml done 1 120   4800 1100 unknown 1 89   3200 970 false(unreach-call) 1 270     1700 3100    false(unreach-call) 1 180     1400 2100    timeout 900    130 2900   false(unreach-call) 1 330    3700 2000    timeout 900    65 14000   done 1 450    10000 3700   done 1 96   340 1200
eca-rers2012/Problem04_label55.yml done 1 110   4500 970 unknown 1 81   3000 800 false(unreach-call) 1 200     1500 2100    false(unreach-call) 1 120     1200 1600    timeout 900    130 4400   false(unreach-call) 1 190    2500 1600    timeout 900    65 12000   done 1 390    8600 2800   done 1 86   350 1100
eca-rers2012/Problem05_label00.yml done 1 180   5000 2000 unknown 1 120   3400 1300 false(unreach-call) 1 120     1400 1700    false(unreach-call) 1 74     1300 790    timeout 900    200 3000   false(unreach-call) 1 66    1100 560    timeout 900    88 14000   timeout (verification) 900    15000 6300   done 1 49   480 690
eca-rers2012/Problem05_label01.yml done 1 140   4800 1400 unknown 1 120   2900 1200 false(unreach-call) 1 120     1400 1400    false(unreach-call) 1 71     1200 810    done 29    200 220   false(unreach-call) 1 120    1800 860    timeout 900    88 14000   timeout (verification) 900    15000 6500   done 1 59   480 840
eca-rers2012/Problem05_label11.yml done 1 130   4700 1100 unknown 1 100   2800 1100 false(unreach-call) 1 120     1400 1500    false(unreach-call) 1 74     1200 1000    timeout 900    200 3100   timeout 900    8900 7700    timeout 900    88 13000   done 1 630    14000 4800   done 1 31   490 390
eca-rers2012/Problem05_label13.yml done 1 250   5600 2400 unknown 1 130   3300 1600 false(unreach-call) 1 130     1400 1300    false(unreach-call) 1 84     1200 960    timeout 900    200 4900   false(unreach-call) 1 420    4700 2500    timeout 900    88 12000   timeout (verification) 900    15000 7100   done 1 52   490 610
eca-rers2012/Problem05_label15.yml done 1 120   4800 1200 unknown 1 100   3000 930 false(unreach-call) 1 120     1400 1500    false(unreach-call) 1 71     1200 850    timeout 900    200 2000   timeout 900    8800 6300    timeout 900    88 12000   done 1 730    15000 6400   done 1 75   480 910
eca-rers2012/Problem05_label18.yml done 1 120   4700 1100 unknown 1 100   3000 1200 false(unreach-call) 1 120     1400 1600    false(unreach-call) 1 77     1300 920    timeout 900    200 3300   false(unreach-call) 1 56    990 530    timeout 900    88 14000   timeout (verification) 900    15000 5900   done 1 72   480 950
eca-rers2012/Problem05_label24.yml done 1 130   4800 1300 unknown 1 110   3100 1200 false(unreach-call) 1 130     1400 1500    false(unreach-call) 1 81     1200 870    done 30    200 240   false(unreach-call) 1 25    550 340    timeout 900    88 12000   timeout (verification) 900    15000 6300   done 1 28   480 340
eca-rers2012/Problem05_label26.yml done 1 190   5000 2000 unknown 1 140   3300 1500 false(unreach-call) 1 120     1400 1700    false(unreach-call) 1 75     1300 800    timeout 900    200 2500   timeout 900    8700 5600    timeout 900    88 12000   done 1 890    15000 8200   done 1 67   490 860
eca-rers2012/Problem05_label30.yml done 1 110   3900 1200 unknown 1 98   3100 1100 false(unreach-call) 1 120     1400 1200    false(unreach-call) 1 74     1200 1000    timeout 900    200 4000   false(unreach-call) 1 130    1900 1100    timeout 900    88 12000   out of memory (killed (signal 9, verification)) 900    15000 6800   done 1 37   490 450
eca-rers2012/Problem05_label32.yml done 1 130   4900 1400 unknown 1 120   3300 1200 false(unreach-call) 1 120     1400 1700    false(unreach-call) 1 78     1200 1000    timeout 900    200 3400   false(unreach-call) 1 280    3500 2400    timeout 900    88 13000   timeout (verification) 900    15000 6400   done 1 69   480 830
eca-rers2012/Problem05_label33.yml done 1 200   5000 2300 unknown 1 140   3300 1300 false(unreach-call) 1 120     1400 1600    false(unreach-call) 1 75     1200 980    timeout 900    200 2600   timeout 900    8800 5500    timeout 900    88 13000   timeout (verification) 900    15000 5900   done 1 64   490 830
eca-rers2012/Problem05_label36.yml done 1 130   4500 1200 unknown 1 110   3000 1100 false(unreach-call) 1 110     1400 1100    false(unreach-call) 1 65     1200 760    done 29    200 260   false(unreach-call) 1 71    1300 810    timeout 900    89 13000   timeout (verification) 900    15000 4800   done 1 59   480 640
eca-rers2012/Problem05_label37.yml done 1 130   4800 1300 unknown 1 110   3300 980 false(unreach-call) 1 120     1400 1600    false(unreach-call) 1 73     1300 810    timeout 900    200 2800   false(unreach-call) 1 230    2900 1600    timeout 900    89 13000   out of memory (killed (signal 9, verification)) 900    15000 6400   done 1 55   480 640
eca-rers2012/Problem05_label38.yml done 1 300   5900 3600 unknown 1 210   3500 2600 false(unreach-call) 1 140     1400 1700    false(unreach-call) 1 91     1200 1200    timeout 900    200 3000   false(unreach-call) 1 150    2100 1300    timeout 900    88 12000   out of memory (killed (signal 9, verification)) 880    15000 7000   done 1 38   500 450
eca-rers2012/Problem05_label39.yml done 1 180   5100 1800 unknown 1 130   3200 1500 false(unreach-call) 1 130     1400 1400    false(unreach-call) 1 81     1200 950    timeout 900    200 4100   false(unreach-call) 1 110    1700 800    timeout 900    88 14000   timeout (verification) 900    15000 6300   done 1 48   490 620
eca-rers2012/Problem05_label40.yml done 1 140   4900 1400 unknown 1 130   3400 1300 false(unreach-call) 1 120     1400 1700    false(unreach-call) 1 74     1200 890    timeout 900    200 2600   false(unreach-call) 1 37    770 430    timeout 900    89 15000   out of memory (killed (signal 9, verification)) 900    15000 6300   done 1 57   490 680
eca-rers2012/Problem05_label41.yml done 1 260   5200 2500 unknown 1 160   3500 1600 false(unreach-call) 1 120     1400 1500    false(unreach-call) 1 78     1300 920    timeout 900    200 3000   false(unreach-call) 1 32    620 280    timeout 900    88 13000   timeout (verification) 900    15000 6300   done 1 57   490 630
eca-rers2012/Problem05_label44.yml done 1 240   5300 2600 unknown 1 150   3500 1500 false(unreach-call) 1 110     1400 1400    false(unreach-call) 1 70     1200 760    timeout 900    200 2900   false(unreach-call) 1 110    1600 800    timeout 900    88 12000   out of memory (killed (signal 9, verification)) 890    15000 6700   done 1 59   490 750
eca-rers2012/Problem05_label47.yml done 1 120   4200 1300 unknown 1 110   3100 1000 false(unreach-call) 1 120     1400 1400    false(unreach-call) 1 79     1200 930    done 37    200 240   false(unreach-call) 1 150    2100 1100    timeout 900    88 12000   timeout (verification) 900    15000 5900   done 1 59   480 800
eca-rers2012/Problem05_label48.yml done 1 200   5000 2200 unknown 1 130   3600 1400 false(unreach-call) 1 130     1400 1300    false(unreach-call) 1 83     1200 900    done 29    200 260   false(unreach-call) 1 820    8100 5200    timeout 900    88 14000   out of memory (killed (signal 9, verification)) 880    15000 8700   done 1 74   490 880
eca-rers2012/Problem05_label51.yml done 1 130   4800 1400 unknown 1 110   3800 1300 false(unreach-call) 1 120     1400 1500    false(unreach-call) 1 73     1300 780    done 37    200 270   false(unreach-call) 1 660    6900 5000    timeout 900    88 12000   timeout (verification-finished) 900    15000 6900   done 1 79   490 970
eca-rers2012/Problem05_label55.yml done 1 150   4900 1400 unknown 1 120   3300 1500 false(unreach-call) 1 110     1400 1200    false(unreach-call) 1 63     1200 760    done 35    200 240   false(unreach-call) 1 280    3400 1800    timeout 900    88 11000   timeout (verification) 900    15000 5900   done 1 38   480 460
eca-rers2012/Problem05_label57.yml done 1 130   4800 1400 unknown 1 110   3500 1200 false(unreach-call) 1 120     1400 1700    false(unreach-call) 1 77     1300 1000    timeout 900    200 4100   false(unreach-call) 1 220    2900 2200    timeout 900    88 13000   out of memory (killed (signal 9, verification)) 890    15000 7500   done 1 39   480 520
eca-rers2012/Problem05_label58.yml done 1 180   5000 1800 unknown 1 130   2900 1400 false(unreach-call) 1 120     1400 1300    false(unreach-call) 1 71     1200 690    timeout 900    200 2700   false(unreach-call) 1 250    3200 1800    timeout 900    88 13000   timeout (verification) 900    15000 6800   done 1 43   490 510
eca-rers2012/Problem06_label00.yml done 1 99   3900 960 unknown 1 71   2400 710 false(unreach-call) 1 83     1500 870    false(unreach-call) 1 53     1300 660    done 24    190 130   false(unreach-call) 1 62    1300 540    timeout 900    89 12000   done 1 190    2400 2600   done 1 21   450 250
eca-rers2012/Problem06_label01.yml done 1 98   3600 930 unknown 1 77   2500 730 false(unreach-call) 1 70     1500 770    false(unreach-call) 1 40     1400 460    timeout 1 900    190 2500   timeout 900    9500 6000    timeout 900    89 11000   done 1 320    7100 3500   done 1 21   470 240
eca-rers2012/Problem06_label02.yml done 1 180   4700 2000 unknown 1 130   2700 1300 false(unreach-call) 1 66     1500 670    false(unreach-call) 1 35     1300 480    timeout 900    190 2800   false(unreach-call) 1 190    3000 1700    timeout 900    89 11000   done 1 270    5600 2800   done 1 21   460 240
eca-rers2012/Problem06_label04.yml done 1 120   4000 1000 unknown 1 110   2600 1100 false(unreach-call) 1 63     1500 810    false(unreach-call) 1 34     1300 430    timeout 900    190 2800   false(unreach-call) 1 96    1800 790    timeout 900    89 13000   done 1 160    780 1900   done 1 21   460 260
eca-rers2012/Problem06_label05.yml done 1 94   3500 890 unknown 1 72   2200 810 false(unreach-call) 1 66     1500 670    false(unreach-call) 1 36     1300 430    done 23    190 170   false(unreach-call) 1 31    740 290    timeout 900    89 12000   done 1 250    5100 3400   done 1 21   460 230
eca-rers2012/Problem06_label09.yml done 1 110   4000 920 unknown 1 88   2300 900 false(unreach-call) 1 78     1500 830    false(unreach-call) 1 48     1400 520    timeout 900    190 2900   false(unreach-call) 1 530    7000 4500    timeout 900    89 13000   out of memory (killed (signal 9, verification)) 610    15000 4500   done 1 27   470 310
eca-rers2012/Problem06_label10.yml done 1 90   3700 880 unknown 1 73   2200 770 false(unreach-call) 1 75     1500 890    false(unreach-call) 1 43     1300 500    timeout 1 900    190 3900   false(unreach-call) 1 77    1500 630    timeout 900    89 13000   done 1 290    6400 3800   done 1 18   470 190
eca-rers2012/Problem06_label11.yml done 1 95   3800 920 unknown 1 77   2400 780 false(unreach-call) 1 78     1500 830    false(unreach-call) 1 47     1300 600    timeout 1 900    190 6900   false(unreach-call) 1 29    690 290    timeout 900    89 13000   done 1 330    7700 3800   done 1 25   470 290
eca-rers2012/Problem06_label12.yml done 1 90   3500 830 unknown 1 71   2500 700 false(unreach-call) 1 68     1500 690    false(unreach-call) 1 38     1400 470    timeout 1 900    190 2600   false(unreach-call) 1 480    6500 3600    timeout 900    89 13000   done 1 310    7000 3200   done 1 22   470 240
eca-rers2012/Problem06_label15.yml done 1 95   3900 830 unknown 1 79   2500 740 false(unreach-call) 1 67     1500 740    false(unreach-call) 1 37     1300 360    timeout 1 900    190 4500   false(unreach-call) 1 440    6000 3000    timeout 900    89 14000   done 1 200    2700 2400   done 1 21   470 290
eca-rers2012/Problem06_label20.yml done 1 120   4200 1100 unknown 1 100   2900 880 false(unreach-call) 1 70     1500 850    false(unreach-call) 1 39     1300 440    done 22    190 160   false(unreach-call) 1 94    1800 1000    timeout 900    89 12000   done 1 160    960 2400   done 1 20   470 230
eca-rers2012/Problem06_label21.yml done 1 120   4200 1100 unknown 1 100   3000 1200 false(unreach-call) 1 67     1500 870    false(unreach-call) 1 38     1300 390    timeout 900    190 2700   false(unreach-call) 1 190    3100 1300    timeout 900    89 12000   out of memory (killed (signal 9, verification)) 600    15000 5400   done 1 21   450 220
eca-rers2012/Problem06_label24.yml done 1 120   4500 1100 unknown 1 98   3000 1200 false(unreach-call) 1 94     1500 1100    false(unreach-call) 1 62     1300 770    timeout 1 900    190 3200   false(unreach-call) 1 89    1700 690    timeout 900    89 13000   out of memory (killed (signal 9, verification)) 610    15000 3400   done 1 21   460 220
eca-rers2012/Problem06_label27.yml done 1 99   4000 970 unknown 1 82   2500 790 false(unreach-call) 1 65     1500 670    false(unreach-call) 1 35     1300 340    timeout 1 900    190 5000   false(unreach-call) 1 280    4100 1700    timeout 900    89 15000   done 1 170    1500 2600   done 1 21   460 230
eca-rers2012/Problem06_label29.yml done 1 110   4000 1100 unknown 1 86   2500 710 false(unreach-call) 1 68     1500 620    false(unreach-call) 1 38     1300 440    timeout 1 900    190 5500   false(unreach-call) 1 780    9400 5300    timeout 900    89 14000   out of memory (killed (signal 9, verification)) 600    15000 4600   done 1 26   460 350
eca-rers2012/Problem06_label33.yml done 1 110   3900 1100 unknown 1 92   2200 1000 false(unreach-call) 1 74     1500 830    false(unreach-call) 1 44     1300 440    timeout 1 900    190 2700   false(unreach-call) 1 45    1000 410    timeout 900    89 13000   done 1 530    14000 5400   done 1 22   450 260
eca-rers2012/Problem06_label36.yml done 1 110   3900 1100 unknown 1 93   2300 950 false(unreach-call) 1 72     1500 860    false(unreach-call) 1 41     1300 500    done 30    190 160   false(unreach-call) 1 32    730 250    timeout 900    89 12000   done 1 210    3300 2400   done 1 22   470 230
eca-rers2012/Problem06_label37.yml done 1 130   4100 1300 unknown 1 97   2700 990 false(unreach-call) 1 70     1500 860    false(unreach-call) 1 40     1400 530    timeout 1 900    190 3000   false(unreach-call) 1 250    4000 2000    timeout 900    89 12000   done 1 260    5200 3200   done 1 21   460 280
eca-rers2012/Problem06_label38.yml done 1 110   3900 990 unknown 1 90   2700 920 false(unreach-call) 1 70     1500 790    false(unreach-call) 1 39     1300 420    timeout 1 900    190 4000   false(unreach-call) 1 50    1100 380    timeout 900    89 13000   done 1 190    2500 2600   done 1 27   450 300
eca-rers2012/Problem06_label44.yml done 1 100   3800 1100 unknown 1 89   2300 900 false(unreach-call) 1 73     1500 880    false(unreach-call) 1 43     1300 450    done 23    190 150   timeout 900    9500 6000    timeout 900    89 14000   done 1 580    15000 5400   done 1 21   450 230
eca-rers2012/Problem06_label47.yml done 1 83   3400 760 unknown 1 63   2200 600 false(unreach-call) 1 65     1500 670    false(unreach-call) 1 34     1300 340    timeout 900    190 5600   false(unreach-call) 1 110    2000 800    timeout 900    89 13000   done 1 220    3700 2600   done 1 21   460 260
eca-rers2012/Problem06_label48.yml done 1 100   3700 910 unknown 1 86   2700 940 false(unreach-call) 1 69     1500 850    false(unreach-call) 1 38     1300 430    timeout 1 900    190 2700   false(unreach-call) 1 160    2700 1300    timeout 900    89 12000   done 1 180    2200 2100   done 1 22   460 230
eca-rers2012/Problem06_label56.yml done 1 120   4100 1000 unknown 1 97   2500 950 false(unreach-call) 1 69     1500 740    false(unreach-call) 1 40     1300 410    timeout 1 900    190 2500   false(unreach-call) 1 640    8000 3800    timeout 900    89 12000   done 1 360    8700 3500   done 1 22   470 260
eca-rers2012/Problem06_label58.yml done 1 110   3800 1100 unknown 1 89   2600 940 false(unreach-call) 1 69     1500 750    false(unreach-call) 1 38     1300 400    timeout 1 900    190 4500   timeout 900    9500 5900    timeout 900    89 13000   done 1 400    11000 3600   done 1 21   470 210
eca-rers2012/Problem06_label59.yml done 1 110   4100 1000 unknown 1 89   2500 980 false(unreach-call) 1 79     1500 870    false(unreach-call) 1 49     1400 590    done 30    190 140   false(unreach-call) 1 120    2100 1200    timeout 900    89 15000   done 1 150    450 2500   done 1 21   470 230
eca-rers2012/Problem07_label03.yml timeout 900   8300 9700 timeout 900   6600 9200 timeout 900     6300 8700    timeout 900     7800 11000    timeout 900    390 7100   timeout 900    9300 5800    timeout 900    410 12000   error(returned 1, slicing) 430    320 6100   done 1 270   2600 3300
eca-rers2012/Problem07_label05.yml timeout 900   7500 8100 timeout 900   6500 10000 timeout 900     6300 8700    timeout 900     7400 7800    timeout 900    390 4500   timeout 900    9300 6000    timeout 900    410 15000   error(returned 1, slicing) 430    320 4900   done 1 290   2600 4300
eca-rers2012/Problem07_label06.yml timeout 900   12000 7600 timeout 900   9000 8400 timeout 900     6300 11000    timeout 900     7400 8200    timeout 900    390 4200   timeout 900    9300 5300    timeout 900    410 14000   error(returned 1, slicing) 430    320 5300   done 1 250   2600 3400
eca-rers2012/Problem07_label07.yml timeout 900   8500 8500 timeout 900   6400 9900 timeout 900     6300 8800    timeout 900     7400 8300    timeout 900    390 4700   timeout 900    9300 6400    timeout 900    410 13000   error(returned 1, slicing) 420    320 6900   done 1 280   2600 3700
eca-rers2012/Problem07_label09.yml timeout 900   12000 6100 timeout 900   7300 9500 timeout 900     6300 8700    timeout 900     7400 9700    timeout 900    390 4800   timeout 900    9300 6000    timeout 900    410 12000   error(returned 1, slicing) 420    320 6000   done 1 260   2500 3600
eca-rers2012/Problem07_label11.yml timeout 900   12000 6300 timeout 900   7300 7300 timeout 900     6300 8000    timeout 900     7400 11000    timeout 900    390 3200   timeout 900    9300 5800    timeout 900    410 12000   error(returned 1, slicing) 430    320 5100   done 1 400   2600 4600
eca-rers2012/Problem07_label15.yml timeout 900   11000 7800 timeout 900   7100 9400 timeout 900     6300 9200    timeout 900     7700 9600    done 180    390 1900   timeout 900    9300 5800    timeout 900    410 15000   error(returned 1, slicing) 420    320 5600   done 1 350   2600 3900
eca-rers2012/Problem07_label18.yml timeout 900   10000 7500 timeout 900   9300 7400 timeout 900     6300 9300    timeout 900     7800 8100    timeout 900    390 4800   timeout 900    9300 5600    timeout 900    410 12000   error(returned 1, slicing) 430    320 6300   done 1 280   2600 3500
eca-rers2012/Problem07_label19.yml timeout 900   9300 8000 timeout 900   6500 8100 timeout 900     6300 8000    timeout 900     7400 8000    timeout 900    390 11000   timeout 900    9300 5800    timeout 900    410 12000   error(returned 1, slicing) 420    320 5400   done 1 290   2600 3300
eca-rers2012/Problem07_label20.yml timeout 900   11000 8100 timeout 900   6600 7500 timeout 900     6300 12000    timeout 930     35 11000    timeout 900    390 6400   timeout 900    9300 6600    timeout 900    410 13000   error(returned 1, slicing) 420    320 6300   done 1 220   2600 2600
eca-rers2012/Problem07_label23.yml timeout 900   8400 7600 timeout 900   6400 9300 timeout 900     6300 8600    timeout 900     7800 8600    done 190    390 1600   timeout 900    9300 5900    timeout 900    410 14000   error(returned 1, slicing) 430    320 6700   done 1 540   2600 7200
eca-rers2012/Problem07_label30.yml timeout 900   8400 8800 timeout 900   6700 11000 timeout 900     6300 9200    timeout 900     7400 11000    done 190    390 2000   timeout 900    9300 5600    timeout 900    410 14000   error(returned 1, slicing) 430    320 6300   done 1 580   2600 6900
eca-rers2012/Problem07_label31.yml timeout 900   11000 7100 timeout 900   7600 7300 timeout 900     6300 9900    timeout 900     7400 8300    timeout 900    390 5000   timeout 900    9300 5500    timeout 900    420 12000   error(returned 1, slicing) 430    320 5800   done 1 590   2500 6800
eca-rers2012/Problem07_label35.yml timeout 900   8500 10000 timeout 900   7300 8900 timeout 900     6300 12000    timeout 900     7400 8600    timeout 900    390 4600   timeout 910    6500 5500    timeout 900    410 13000   error(returned 1, slicing) 420    320 5800   done 1 280   2500 3900
eca-rers2012/Problem07_label36.yml timeout 900   9100 7400 timeout 900   7400 7500 timeout 900     6300 8900    timeout 900     7800 8200    timeout 900    390 4800   timeout 900    9300 6600    timeout 900    410 12000   error(returned 1, slicing) 430    320 4400   done 1 240   2600 3000
eca-rers2012/Problem07_label37.yml timeout 900   8300 8000 timeout 900   7300 9500 timeout 900     6300 8300    timeout 900     7400 9800    timeout 900    390 4300   timeout 900    9300 6800    timeout 900    410 12000   error(returned 1, slicing) 420    320 5600   done 1 220   2600 2700
eca-rers2012/Problem07_label39.yml timeout 900   7300 7400 timeout 900   6500 8300 timeout 930     5100 9400    timeout 900     7400 7400    timeout 900    390 4300   timeout 900    9300 5700    timeout 900    410 12000   error(returned 1, slicing) 420    320 5200   done 1 230   2500 3400
eca-rers2012/Problem07_label40.yml timeout 900   11000 8700 timeout 900   8900 8000 timeout 930     3900 9500    timeout 900     7700 9300    done 190    390 2100   timeout 900    9300 5600    timeout 900    410 12000   error(returned 1, slicing) 430    320 5700   done 1 390   2500 5400
eca-rers2012/Problem07_label42.yml timeout 900   11000 8700 timeout 900   6600 6500 timeout 900     6300 9900    timeout 900     7700 9200    timeout 900    390 5600   timeout 900    9300 6900    timeout 900    420 13000   error(returned 1, slicing) 430    320 5500   done 1 210   2600 3000
eca-rers2012/Problem07_label44.yml timeout 900   9200 8200 timeout 900   6600 11000 timeout 900     6300 11000    timeout 900     7400 9000    done 190    390 2200   timeout 900    9300 5700    timeout 900    410 14000   error(returned 1, slicing) 430    320 5700   done 1 220   2600 2900
eca-rers2012/Problem07_label46.yml timeout 900   10000 7300 timeout 900   6600 7400 timeout 900     6300 11000    timeout 930     7400 9000    timeout 900    390 4500   timeout 900    9300 7800    timeout 900    410 15000   error(returned 1, slicing) 430    320 6500   done 1 290   2600 3600
eca-rers2012/Problem07_label47.yml timeout 900   8100 8100 timeout 900   6500 8900 timeout 900     6300 9200    timeout 900     7400 8500    timeout 900    390 4400   timeout 900    9300 6100    timeout 900    410 13000   error(returned 1, slicing) 430    320 5600   done 1 200   2600 2500
eca-rers2012/Problem07_label48.yml timeout 910   7300 8800 timeout 900   6500 8400 timeout 900     6300 11000    timeout 900     7400 8300    done 190    390 2100   timeout 900    9300 6200    timeout 900    410 13000   error(returned 1, slicing) 430    320 5500   done 1 300   2600 3600
eca-rers2012/Problem07_label58.yml timeout 900   8600 8500 timeout 900   6600 8800 timeout 900     6300 8900    timeout 900     7400 7400    timeout 900    390 4900   timeout 900    9300 6300    timeout 900    410 14000   error(returned 1, slicing) 430    320 5500   done 1 240   2600 3000
eca-rers2012/Problem08_label01.yml timeout 910   12000 5700 timeout 900   12000 6900 out of memory 490     15000 5900    out of memory 450     15000 4600    timeout 900    760 8100   timeout 900    9500 6200    timeout 900    780 14000   timeout (before-instr) 900    610 13000   done 1 650   2500 8100
eca-rers2012/Problem08_label02.yml timeout 900   12000 5300 timeout 900   12000 5900 out of memory 500     15000 5000    out of memory 450     15000 5600    timeout 900    760 5900   timeout 900    9500 6400    timeout 900    780 12000   timeout (before-instr) 900    610 11000   done 1 420   2500 5100
eca-rers2012/Problem08_label04.yml timeout 910   12000 5000 timeout 900   12000 7700 out of memory 510     15000 5600    out of memory 460     15000 4600    timeout 900    760 5400   timeout 900    9500 7700    timeout 900    780 12000   timeout (before-instr) 900    610 13000   done 1 500   2500 6600
eca-rers2012/Problem08_label05.yml timeout 900   12000 5300 timeout 900   11000 7900 out of memory 500     15000 5100    out of memory 450     15000 4900    timeout 900    760 5700   timeout 920    8600 6200    timeout 900    780 12000   timeout (before-instr) 900    610 13000   done 1 500   2500 6100
eca-rers2012/Problem08_label06.yml timeout 910   12000 5000 timeout 900   12000 6600 out of memory 500     15000 4600    out of memory 450     15000 5000    done 370    760 4100   timeout 900    9500 5500    timeout 900    780 11000   timeout (before-instr) 900    610 12000   done 1 410   2500 6000
eca-rers2012/Problem08_label07.yml timeout 910   12000 4500 timeout 900   12000 6600 out of memory 500     15000 5200    out of memory 450     15000 5500    timeout 900    760 5900   timeout 900    9500 7100    timeout 900    790 15000   timeout (before-instr) 900    610 12000   done 1 540   2500 8100
eca-rers2012/Problem08_label10.yml timeout 910   12000 5400 timeout 900   12000 5800 out of memory 500     15000 4900    out of memory 450     15000 4300    timeout 900    760 6200   timeout 900    9500 5200    timeout 900    780 12000   timeout (before-instr) 900    610 11000   done 1 630   2500 7500
eca-rers2012/Problem08_label13.yml timeout 910   12000 5900 timeout 900   12000 7000 out of memory 500     15000 4500    out of memory 450     15000 4900    timeout 900    760 9100   timeout 900    9500 5600    timeout 900    780 13000   timeout (before-instr) 900    610 13000   done 1 490   2500 6400
eca-rers2012/Problem08_label15.yml timeout 900   12000 5400 timeout 900   12000 5800 out of memory 500     15000 4900    out of memory 450     15000 4900    done 360    760 4100   timeout 900    9500 6400    timeout 900    780 14000   timeout (before-instr) 900    610 12000   done 1 430   2500 6600
eca-rers2012/Problem08_label24.yml timeout 910   11000 4700 timeout 900   13000 6400 out of memory 500     15000 4900    out of memory 450     15000 4800    timeout 900    760 6200   timeout 900    9500 7500    timeout 900    780 12000   timeout (before-instr) 900    610 11000   done 1 510   2500 6100
eca-rers2012/Problem08_label25.yml timeout 910   11000 4700 timeout 900   12000 6700 out of memory 500     15000 4800    out of memory 450     15000 4800    timeout 900    760 6000   timeout 920    9500 6800    timeout 900    780 14000   timeout (before-instr) 900    610 13000   done 1 490   2500 6000
eca-rers2012/Problem08_label26.yml timeout 910   11000 5200 timeout 900   13000 5800 out of memory 500     15000 5800    out of memory 450     15000 4500    timeout 900    760 8600   timeout 900    9500 5500    timeout 900    790 15000   timeout (before-instr) 900    610 12000   done 1 530   2500 7200
eca-rers2012/Problem08_label28.yml timeout 910   11000 6000 timeout 900   13000 5500 out of memory 500     15000 5100    out of memory 450     15000 4800    timeout 900    760 6000   timeout 900    9500 5400    timeout 900    780 12000   timeout (before-instr) 900    610 13000   done 1 440   2500 5200
eca-rers2012/Problem08_label29.yml timeout 910   11000 5700 timeout 900   13000 6400 out of memory 500     15000 6200    out of memory 450     15000 5400    timeout 900    760 7500   timeout 900    9500 6000    timeout 900    790 12000   timeout (before-instr) 900    610 12000   done 1 420   2500 5100
eca-rers2012/Problem08_label34.yml timeout 910   11000 4800 timeout 900   13000 6500 timeout 930     12000 10000    out of memory 460     15000 4800    timeout 900    760 8300   timeout 900    9500 8400    timeout 900    780 13000   timeout (before-instr) 900    610 11000   done 1 450   2500 5400
eca-rers2012/Problem08_label37.yml timeout 910   11000 5300 timeout 900   12000 6000 out of memory 490     15000 6300    out of memory 460     15000 5400    done 350    760 4400   timeout 900    9500 5400    timeout 900    780 12000   timeout (before-instr) 900    610 12000   done 1 450   2500 6100
eca-rers2012/Problem08_label43.yml timeout 910   12000 5400 timeout 900   12000 7600 out of memory 490     15000 6700    out of memory 450     15000 4900    done 370    760 4400   timeout 900    9500 5400    timeout 900    780 15000   timeout (before-instr) 900    610 12000   done 1 410   2500 4700
eca-rers2012/Problem08_label46.yml timeout 910   12000 5000 timeout 900   12000 7000 out of memory 490     15000 5000    out of memory 470     15000 5300    timeout 900    760 6400   timeout 900    9500 6400    timeout 900    780 13000   timeout (before-instr) 900    610 13000   done 1 510   2500 5400
eca-rers2012/Problem08_label48.yml timeout 910   12000 5500 timeout 910   12000 7200 out of memory 500     15000 4500    out of memory 450     15000 4800    timeout 900    760 7400   timeout 900    9500 7100    timeout 900    780 14000   timeout (before-instr) 900    610 12000   done 1 460   2500 5300
eca-rers2012/Problem08_label49.yml timeout 910   12000 5200 timeout 900   12000 6600 out of memory 500     15000 5900    out of memory 460     15000 5000    timeout 900    760 6200   false(unreach-call) 1 310    4600 2300    timeout 900    780 13000   timeout (before-instr) 900    610 12000   done 1 510   2500 6300
eca-rers2012/Problem08_label50.yml timeout 910   12000 5100 timeout 900   12000 6800 out of memory 500     15000 4900    out of memory 460     15000 4900    timeout 900    760 7700   timeout 900    9500 5800    timeout 900    780 12000   timeout (before-instr) 900    610 13000   done 1 440   2500 4900
eca-rers2012/Problem08_label51.yml timeout 910   12000 4800 timeout 900   12000 6400 out of memory 490     15000 6600    out of memory 450     15000 5300    done 360    760 3900   timeout 900    9500 5300    timeout 900    780 13000   timeout (before-instr) 900    610 12000   done 1 410   2500 5300
eca-rers2012/Problem08_label55.yml timeout 910   12000 5800 timeout 900   12000 6900 out of memory 500     15000 6000    out of memory 460     15000 4800    done 360    760 4100   timeout 900    9500 6800    timeout 900    780 16000   timeout (before-instr) 900    610 11000   done 1 420   2500 5000
eca-rers2012/Problem08_label59.yml timeout 910   11000 5900 timeout 900   13000 6500 out of memory 500     15000 4700    out of memory 450     15000 5000    timeout 900    760 7300   timeout 900    9500 6100    timeout 900    780 14000   timeout (before-instr) 900    610 10000   done 1 520   2500 6400
eca-rers2012/Problem09_label02.yml timeout 910   11000 5100 timeout 900   11000 4500 out of memory 790     15000 7300    out of memory 540     15000 5600    timeout 900    760 4400   timeout 900    9400 6500    timeout 900    900 13000   timeout (before-instr) 900    650 13000   timeout 900   2800 12000
eca-rers2012/Problem09_label03.yml timeout 910   11000 4700 timeout 910   11000 4800 out of memory 820     15000 8400    out of memory 550     15000 6200    done 170    760 1600   timeout 900    9400 5700    timeout 900    900 15000   timeout (before-instr) 900    650 12000   timeout 900   2800 10000
eca-rers2012/Problem09_label06.yml timeout 900   11000 5100 timeout 910   11000 4900 out of memory 840     15000 12000    out of memory 540     15000 6500    timeout 900    760 4000   timeout 900    9200 5900    timeout 900    900 14000   timeout (before-instr) 900    650 12000   timeout 900   2800 12000
eca-rers2012/Problem09_label08.yml timeout 930   11000 5400 timeout 910   11000 4700 out of memory 810     15000 8400    out of memory 540     15000 5600    timeout 900    760 4700   timeout 900    9400 6600    timeout 900    900 12000   timeout (before-instr) 900    650 10000   timeout 900   2800 13000
eca-rers2012/Problem09_label10.yml timeout 910   11000 4900 timeout 910   11000 5200 out of memory 800     15000 8200    out of memory 550     15000 6700    done 160    760 1700   timeout 900    9400 6000    timeout 900    900 11000   timeout (before-instr) 900    650 12000   timeout 900   2800 11000
eca-rers2012/Problem09_label11.yml timeout 910   11000 4800 timeout 900   11000 4300 out of memory 800     15000 9200    out of memory 530     15000 5900    timeout 900    760 6000   timeout 900    9300 6800    timeout 900    900 14000   timeout (before-instr) 900    650 13000   timeout 900   2800 11000
eca-rers2012/Problem09_label15.yml timeout 900   11000 5000 timeout 910   11000 5300 out of memory 810     15000 8200    out of memory 550     15000 5800    timeout 900    760 4300   timeout 900    9600 5900    timeout 900    900 13000   timeout (before-instr) 900    650 12000   timeout 900   2800 10000
eca-rers2012/Problem09_label19.yml timeout 900   11000 5100 timeout 910   11000 4900 out of memory 800     15000 7600    out of memory 530     15000 5400    done 160    760 1800   timeout 900    9800 5800    timeout 900    900 12000   timeout (before-instr) 900    650 11000   timeout 900   2800 11000
eca-rers2012/Problem09_label20.yml timeout 900   11000 4500 timeout 910   11000 4700 out of memory 790     15000 8200    out of memory 530     15000 6800    done 160    760 1600   timeout 900    9700 6200    timeout 900    900 14000   timeout (before-instr) 900    650 13000   timeout 900   2800 11000
eca-rers2012/Problem09_label32.yml timeout 910   11000 4800 timeout 900   11000 4500 out of memory 800     15000 7800    out of memory 540     15000 6800    done 150    760 1600   timeout 900    9500 5600    timeout 900    900 13000   timeout (before-instr) 900    650 9400   timeout 900   2800 11000
eca-rers2012/Problem09_label34.yml timeout 910   11000 4800 timeout 910   11000 5000 out of memory 810     15000 9400    out of memory 550     15000 5800    done 160    760 2000   timeout 900    9400 6400    timeout 900    900 14000   timeout (before-instr) 900    650 14000   timeout 900   2800 9900
eca-rers2012/Problem09_label35.yml timeout 910   11000 5000 timeout 900   11000 4400 out of memory 800     15000 7300    out of memory 530     15000 5700    timeout 900    760 4400   timeout 900    9600 6200    timeout 900    900 14000   timeout (before-instr) 900    650 11000   error 900   2800 9400
eca-rers2012/Problem09_label36.yml timeout 910   11000 4300 timeout 900   11000 5100 out of memory 810     15000 7000    out of memory 540     15000 5500    timeout 900    760 4500   timeout 900    9900 7000    timeout 900    900 11000   timeout (before-instr) 900    650 11000   timeout 900   2800 11000
eca-rers2012/Problem09_label38.yml timeout 910   11000 5000 timeout 910   11000 4800 out of memory 800     15000 8000    out of memory 550     15000 5300    timeout 900    760 5000   timeout 900    9800 5900    timeout 900    900 15000   timeout (before-instr) 900    650 12000   error 900   2800 11000
eca-rers2012/Problem09_label41.yml timeout 910   11000 5100 timeout 910   11000 4300 out of memory 790     15000 11000    out of memory 550     15000 5800    done 160    760 1900   timeout 900    9400 7000    timeout 900    900 14000   timeout (before-instr) 900    650 12000   timeout 900   2800 9800
eca-rers2012/Problem09_label44.yml timeout 900   11000 4600 timeout 910   11000 4800 out of memory 800     15000 8200    out of memory 540     15000 6400    timeout 900    760 6300   timeout 900    9700 6000    timeout 900    900 15000   timeout (before-instr) 900    650 13000   timeout 900   2800 11000
eca-rers2012/Problem09_label46.yml timeout 910   11000 5200 timeout 910   11000 4900 out of memory 800     15000 8700    out of memory 540     15000 7200    done 170    760 1500   timeout 900    9500 5900    timeout 900    900 13000   timeout (before-instr) 900    650 14000   timeout 900   2800 11000
eca-rers2012/Problem09_label47.yml timeout 910   11000 4900 timeout 910   11000 4600 out of memory 790     15000 9500    out of memory 540     15000 6100    done 160    760 1600   timeout 900    9500 5500    timeout 900    900 12000   timeout (before-instr) 900    650 12000   error 900   2800 12000
eca-rers2012/Problem09_label51.yml timeout 910   11000 4500 timeout 910   11000 4900 out of memory 800     15000 8500    out of memory 540     15000 5300    timeout 900    760 4200   timeout 900    9600 8100    timeout 900    900 13000   timeout (before-instr) 900    650 13000   timeout 900   2800 11000
eca-rers2012/Problem09_label53.yml timeout 910   11000 5000 timeout 910   11000 5200 out of memory 810     15000 7600    out of memory 540     15000 5500    timeout 900    760 5000   timeout 900    9600 6700    timeout 900    900 13000   timeout (before-instr) 900    650 12000   timeout 900   2800 9800
eca-rers2012/Problem09_label54.yml timeout 910   11000 4700 timeout 910   11000 5600 out of memory 790     15000 9000    out of memory 530     15000 6900    done 170    760 1600   timeout 900    9700 5900    timeout 900    900 12000   timeout (before-instr) 900    650 12000   error 900   2800 10000
eca-rers2012/Problem09_label56.yml timeout 910   11000 4800 timeout 900   11000 4800 out of memory 810     15000 8300    out of memory 540     15000 6500    timeout 900    760 4900   timeout 900    9500 6300    timeout 900    900 15000   timeout (before-instr) 900    650 11000   timeout 900   2800 12000
eca-rers2012/Problem09_label57.yml timeout 910   11000 4400 timeout 900   11000 4500 out of memory 800     15000 8300    out of memory 540     15000 5400    timeout 900    760 6500   timeout 900    9500 5600    timeout 900    900 14000   timeout (before-instr) 900    650 12000   error 900   2800 11000
eca-rers2012/Problem09_label59.yml timeout 910   11000 5300 timeout 910   11000 4700 out of memory 800     15000 9500    out of memory 530     15000 6800    done 160    760 1500   timeout 900    9600 6300    timeout 900    900 13000   timeout (before-instr) 900    650 12000   timeout 900   2800 12000
eca-rers2012/Problem10_label12.yml done 1 13   630 120 unknown 1 58   1000 500 false(unreach-call) 1 18     190 220    false(unreach-call) 1 8.0   190 97    done 21    28 89   false(unreach-call) 1 .23 22 2.2  timeout 900    37 13000   done 1 5.4  27 74   done 1 5.8 200 60
eca-rers2012/Problem10_label15.yml done 1 12   490 110 unknown 1 51   1100 410 false(unreach-call) 1 22     190 260    false(unreach-call) 1 8.1   190 100    timeout 1 900    30 4300   false(unreach-call) 1 .20 22 1.8  timeout 900    36 12000   done 1 5.6  34 71   done 1 5.9 190 59
eca-rers2012/Problem10_label24.yml done 1 13   600 110 unknown 1 56   1100 490 false(unreach-call) 1 18     190 240    false(unreach-call) 1 8.0   190 97    timeout 1 900    31 2300   false(unreach-call) 1 .40 28 5.1  timeout 900    36 14000   done 1 5.5  33 78   done 1 5.6 190 54
eca-rers2012/Problem10_label26.yml done 1 13   550 110 unknown 1 59   970 480 false(unreach-call) 1 18     190 210    false(unreach-call) 1 8.0   190 99    timeout 1 900    28 2800   false(unreach-call) 1 .22 24 2.9  timeout 900    36 13000   done 1 5.8  42 88   done 1 5.7 190 64
eca-rers2012/Problem10_label28.yml done 1 13   430 110 unknown 1 94   990 790 false(unreach-call) 1 22     190 320    false(unreach-call) 1 8.1   190 100    timeout 1 900    29 2600   false(unreach-call) 1 .25 24 2.9  timeout 900    37 13000   done 1 5.6  33 74   done 1 5.7 190 61
eca-rers2012/Problem10_label29.yml done 1 13   450 110 unknown 1 57   1100 470 false(unreach-call) 1 18     190 200    false(unreach-call) 1 8.2   190 100    done 18    28 96   false(unreach-call) 1 .24 23 2.7  timeout 900    36 14000   done 1 5.4  28 69   done 1 6.0 190 61
eca-rers2012/Problem10_label41.yml done 1 12   530 98 unknown 1 30   770 280 false(unreach-call) 1 1.4   52 19    false(unreach-call) 1 1.4   52 17    timeout 1 900    30 3600   false(unreach-call) 1 .21 22 2.1  timeout 900    36 13000   done 1 5.3  24 65   done 1 5.6 190 56
eca-rers2012/Problem10_label42.yml done 1 9.4 330 74 unknown 1 46   750 370 false(unreach-call) 1 1.4   52 18    false(unreach-call) 1 1.4   52 19    timeout 1 900    29 3900   false(unreach-call) 1 .23 23 2.8  timeout 900    36 12000   done 1 5.2  22 74   done 1 5.9 180 60
eca-rers2012/Problem10_label46.yml done 1 6.8 300 67 unknown 1 11   560 110 false(unreach-call) 1 1.9   54 24    false(unreach-call) 1 1.9   54 27    done 22    28 78   false(unreach-call) 1 .17 22 3.0  timeout 900    36 12000   done 1 5.0  21 72   done 1 5.2 190 54
eca-rers2012/Problem10_label47.yml done 1 12   430 100 unknown 1 26   750 230 false(unreach-call) 1 1.6   52 22    false(unreach-call) 1 1.6   52 20    false(unreach-call) 1 510    28 2300   false(unreach-call) 1 .29 25 4.3  timeout 900    37 12000   done 1 5.4  29 67   done 1 5.7 190 55
eca-rers2012/Problem10_label48.yml done 1 12   450 94 unknown 1 70   970 620 false(unreach-call) 1 32     190 400    false(unreach-call) 1 9.6   190 120    timeout 1 900    30 4400   false(unreach-call) 1 .31 26 4.0  timeout 900    36 14000   done 1 5.5  30 70   done 1 5.7 190 62
eca-rers2012/Problem10_label50.yml done 1 14   560 110 unknown 1 57   980 520 false(unreach-call) 1 20     190 300    false(unreach-call) 1 9.6   190 120    timeout 1 900    29 2600   false(unreach-call) 1 .26 24 5.1  timeout 900    36 14000   done 1 5.6  35 66   done 1 5.7 190 65
eca-rers2012/Problem10_label55.yml done 1 12   400 99 unknown 1 27   790 250 false(unreach-call) 1 .38  48 4.6  false(unreach-call) 1 .38  50 5.3  timeout 1 900    29 2800   false(unreach-call) 1 .24 24 3.0  timeout 900    36 13000   done 1 5.4  28 75   done 1 5.6 200 66
eca-rers2012/Problem10_label57.yml done 1 13   510 110 unknown 1 62   990 500 false(unreach-call) 1 18     190 210    false(unreach-call) 1 8.2   190 99    timeout 1 900    30 3200   false(unreach-call) 1 .38 28 4.8  timeout 900    36 12000   done 1 5.4  29 69   done 1 6.0 190 67
eca-rers2012/Problem10_label58.yml done 1 13   580 130 unknown 1 92   1100 750 false(unreach-call) 1 18     190 220    false(unreach-call) 1 8.1   190 100    timeout 1 900    30 3900   false(unreach-call) 1 .33 27 4.9  timeout 900    36 16000   done 1 5.6  33 77   done 1 5.7 190 53
eca-rers2012/Problem11_label00.yml done 1 15   570 120 unknown 1 380   2000 4100 false(unreach-call) 1 39     370 420    false(unreach-call) 1 29     360 330    done 21    47 110   false(unreach-call) 1 .31 27 3.9  timeout 900    42 14000   done 1 12    54 150   done 1 7.0 230 83
eca-rers2012/Problem11_label08.yml done 1 13   490 110 unknown 1 130   1500 1000 false(unreach-call) 1 1.4   67 16    false(unreach-call) 1 1.4   67 17    timeout 1 900    47 3500   false(unreach-call) 1 .29 27 3.3  timeout 900    42 13000   done 1 11    31 170   done 1 6.8 240 79
eca-rers2012/Problem11_label14.yml done 1 13   520 110 unknown 1 120   1600 900 false(unreach-call) 1 .96  65 13    false(unreach-call) 1 .94  65 15    timeout 1 900    46 2700   false(unreach-call) 1 .23 24 2.7  timeout 900    43 14000   done 1 11    26 180   done 1 6.8 240 65
eca-rers2012/Problem11_label15.yml done 1 12   490 92 unknown 1 120   1600 890 false(unreach-call) 1 1.1   63 12    false(unreach-call) 1 1.1   63 16    done 26    47 100   false(unreach-call) 1 .23 25 3.6  timeout 900    42 14000   done 1 11    28 140   done 1 6.7 240 68
eca-rers2012/Problem11_label20.yml done 1 15   640 130 unknown 1 690   2200 4900 false(unreach-call) 1 37     370 550    false(unreach-call) 1 28     370 310    timeout 1 900    47 2500   false(unreach-call) 1 1.3  60 17    timeout 900    42 12000   done 1 12    48 180   done 1 7.0 220 69
eca-rers2012/Problem11_label29.yml done 1 14   540 100 unknown 1 110   1600 860 false(unreach-call) 1 1.5   68 18    false(unreach-call) 1 1.5   68 20    timeout 1 900    47 2400   false(unreach-call) 1 .27 25 3.4  timeout 900    42 14000   done 1 11    38 150   done 1 6.9 230 69
eca-rers2012/Problem11_label31.yml done 1 15   680 130 unknown 1 680   2000 4800 false(unreach-call) 1 39     370 450    false(unreach-call) 1 29     360 420    timeout 1 900    47 3700   false(unreach-call) 1 .30 27 3.3  timeout 900    42 13000   done 1 11    44 140   done 1 6.8 240 78
eca-rers2012/Problem11_label34.yml done 1 15   590 120 unknown 1 740   2100 6000 false(unreach-call) 1 73     370 910    false(unreach-call) 1 30     360 350    timeout 1 900    47 2700   false(unreach-call) 1 .27 25 3.1  timeout 900    43 15000   done 1 11    43 160   done 1 6.8 230 77
eca-rers2012/Problem11_label36.yml done 1 11   490 87 unknown 1 100   1600 850 false(unreach-call) 1 1.4   69 21    false(unreach-call) 1 1.4   69 17    timeout 1 900    47 2300   false(unreach-call) 1 .31 27 2.9  timeout 900    43 12000   done 1 11    26 160   done 1 6.8 230 64
eca-rers2012/Problem11_label39.yml done 1 15   550 120 unknown 1 740   2200 5300 false(unreach-call) 1 55     370 710    false(unreach-call) 1 12     350 160    timeout 1 900    47 3900   false(unreach-call) 1 .26 26 3.1  timeout 900    42 12000   done 1 12    93 160   done 1 7.1 240 67
eca-rers2012/Problem11_label42.yml done 1 13   460 110 unknown 1 110   1500 830 false(unreach-call) 1 1.4   68 19    false(unreach-call) 1 1.4   68 17    timeout 1 900    47 4100   false(unreach-call) 1 .22 24 2.6  timeout 900    42 13000   done 1 11    29 140   done 1 7.1 240 81
eca-rers2012/Problem11_label43.yml done 1 12   390 100 unknown 1 110   1600 820 false(unreach-call) 1 1.3   65 15    false(unreach-call) 1 1.3   65 14    timeout 1 900    47 3900   false(unreach-call) 1 .41 30 6.2  timeout 900    42 12000   done 1 11    25 170   done 1 6.9 230 78
eca-rers2012/Problem11_label49.yml done 1 12   400 96 unknown 1 110   1500 1000 false(unreach-call) 1 1.4   65 24    false(unreach-call) 1 1.5   65 19    timeout 1 900    47 2400   false(unreach-call) 1 .22 25 2.4  timeout 900    42 16000   done 1 11    26 160   done 1 6.9 230 70
eca-rers2012/Problem11_label51.yml done 1 14   520 130 unknown 1 110   1600 830 false(unreach-call) 1 .99  63 12    false(unreach-call) 1 .95  63 10    timeout 1 900    47 3700   false(unreach-call) 1 .32 28 4.1  timeout 900    43 12000   done 1 11    32 150   done 1 6.9 230 64
eca-rers2012/Problem11_label58.yml done 1 12   500 110 unknown 1 110   1600 940 false(unreach-call) 1 1.2   64 15    false(unreach-call) 1 1.2   64 15    timeout 1 900    47 2300   false(unreach-call) 1 .21 24 2.9  timeout 900    42 13000   done 1 11    31 130   done 1 6.7 230 67
eca-rers2012/Problem12_label00.yml timeout 900   8400 7000 timeout 900   4700 6100 false(unreach-call) 1 65     1200 690    false(unreach-call) 1 30     850 330    timeout 1 900    110 3000   false(unreach-call) 1 7.1  180 87    timeout 900    60 12000   done 1 45    70 570   done 1 13   320 140
eca-rers2012/Problem12_label03.yml timeout 900   8700 7100 timeout 930   4700 6500 false(unreach-call) 1 57     1200 640    false(unreach-call) 1 15     820 160    timeout 1 900    110 2400   false(unreach-call) 1 2.2  87 30    timeout 900    60 14000   done 1 90    2400 1000   done 1 12   310 130
eca-rers2012/Problem12_label06.yml timeout 900   8300 5800 timeout 900   4500 7100 false(unreach-call) 1 48     1200 510    false(unreach-call) 1 26     850 310    timeout 1 900    110 3100   false(unreach-call) 1 .81 46 11    timeout 900    60 14000   done 1 46    120 560   done 1 12   320 130
eca-rers2012/Problem12_label07.yml done 1 140   5000 1100 timeout 900   4700 8500 false(unreach-call) 1 54     1200 650    false(unreach-call) 1 16     820 170    timeout 1 900    110 4000   false(unreach-call) 1 3.3  110 41    timeout 900    60 14000   done 1 48    200 630   done 1 13   320 150
eca-rers2012/Problem12_label08.yml done 1 200   4800 1400 timeout 900   4700 7900 false(unreach-call) 1 120     1200 1400    false(unreach-call) 1 18     810 190    timeout 1 900    110 2600   false(unreach-call) 1 1.1  57 15    timeout 900    60 12000   done 1 46    100 690   done 1 13   330 140
eca-rers2012/Problem12_label10.yml done 1 370   7400 3900 timeout 900   4500 8800 false(unreach-call) 1 47     1200 540    false(unreach-call) 1 23     870 250    done 16    110 110   false(unreach-call) 1 12    260 140    timeout 900    60 15000   done 1 52    470 750   done 1 14   320 150
eca-rers2012/Problem12_label13.yml timeout 900   8400 6100 timeout 900   4600 5800 false(unreach-call) 1 51     1200 520    false(unreach-call) 1 22     860 260    timeout 1 900    110 2600   false(unreach-call) 1 2.4  90 34    timeout 900    60 14000   done 1 55    720 670   done 1 12   320 120
eca-rers2012/Problem12_label19.yml timeout 900   8200 6800 timeout 900   4600 5900 false(unreach-call) 1 49     1200 530    false(unreach-call) 1 24     840 270    timeout 900    110 3900   false(unreach-call) 1 1.8  79 27    timeout 900    60 13000   done 1 45    70 630   done 1 12   320 140
eca-rers2012/Problem12_label20.yml done 1 870   8400 6100 timeout 900   6700 8300 false(unreach-call) 1 70     1200 880    false(unreach-call) 1 29     840 290    timeout 1 900    110 3100   false(unreach-call) 1 69    600 840    timeout 900    60 14000   done 1 390    14000 3700   done 1 13   320 140
eca-rers2012/Problem12_label21.yml timeout 900   8700 6900 timeout 900   4700 6900 false(unreach-call) 1 44     1200 410    false(unreach-call) 1 22     840 230    timeout 1 900    110 4700   false(unreach-call) 1 .88 49 10    timeout 900    60 12000   done 1 46    89 590   done 1 12   320 110
eca-rers2012/Problem12_label25.yml timeout 900   8500 5500 timeout 900   4700 7200 false(unreach-call) 1 39     1200 440    false(unreach-call) 1 13     820 160    timeout 1 900    110 3800   false(unreach-call) 1 3.9  120 48    timeout 900    60 13000   done 1 83    2100 960   done 1 15   320 150
eca-rers2012/Problem12_label28.yml done 1 890   11000 6500 timeout 900   6700 6200 false(unreach-call) 1 63     1200 700    false(unreach-call) 1 23     850 310    timeout 1 900    110 4000   false(unreach-call) 1 .74 45 10    timeout 900    61 13000   done 1 48    260 620   done 1 12   320 150
eca-rers2012/Problem12_label30.yml done 1 140   4800 1300 timeout 900   6500 6300 false(unreach-call) 1 79     1200 900    false(unreach-call) 1 13     810 150    done 23    110 99   false(unreach-call) 1 2.7  97 36    timeout 900    60 13000   done 1 48    200 700   done 1 12   320 120
eca-rers2012/Problem12_label34.yml timeout 900   11000 7500 timeout 900   6600 7700 false(unreach-call) 1 75     1200 880    false(unreach-call) 1 28     830 300    done 22    110 95   false(unreach-call) 1 2.8  100 37    timeout 900    60 14000   done 1 46    75 660   done 1 12   330 130
eca-rers2012/Problem12_label35.yml done 1 120   4200 960 timeout 900   4700 6400 false(unreach-call) 1 38     1200 390    false(unreach-call) 1 14     820 150    timeout 1 900    110 3000   false(unreach-call) 1 4.6  130 54    timeout 900    60 13000   done 1 56    740 750   done 1 13   320 140
eca-rers2012/Problem12_label37.yml timeout 900   8400 6500 timeout 900   4700 6000 false(unreach-call) 1 63     1200 680    false(unreach-call) 1 21     850 250    done 17    110 99   false(unreach-call) 1 3.3  110 49    timeout 900    60 15000   done 1 54    610 690   done 1 12   320 120
eca-rers2012/Problem12_label38.yml done 1 140   6200 1300 timeout 900   4700 6200 false(unreach-call) 1 74     1200 830    false(unreach-call) 1 14     820 180    timeout 1 900    110 2800   false(unreach-call) 1 1.8  78 28    timeout 900    60 13000   done 1 53    580 790   done 1 12   310 130
eca-rers2012/Problem12_label39.yml timeout 900   4900 5100 timeout 900   3100 6000 false(unreach-call) 1 54     1200 620    false(unreach-call) 1 33     850 410    timeout 1 900    110 7600   false(unreach-call) 1 1.3  64 17    timeout 900    60 14000   done 1 47    130 640   done 1 12   330 100
eca-rers2012/Problem12_label40.yml done 1 19   950 180 timeout 900   4700 5800 false(unreach-call) 1 46     1200 530    false(unreach-call) 1 23     840 260    timeout 1 900    110 2200   false(unreach-call) 1 1.3  63 15    timeout 900    60 12000   done 1 46    70 600   done 1 12   330 130
eca-rers2012/Problem12_label42.yml done 1 130   4800 1300 timeout 900   6700 6300 false(unreach-call) 1 39     1200 410    false(unreach-call) 1 14     810 160    timeout 1 900    110 2900   false(unreach-call) 1 1.5  69 18    timeout 900    60 15000   done 1 52    500 760   done 1 12   320 130
eca-rers2012/Problem12_label48.yml done 1 120   4200 1100 timeout 900   4700 6700 false(unreach-call) 1 43     1200 480    false(unreach-call) 1 21     840 220    done 18    110 93   false(unreach-call) 1 .68 45 9.6  timeout 900    60 13000   done 1 46    70 560   done 1 12   330 130
eca-rers2012/Problem12_label50.yml timeout 900   8700 7500 timeout 900   4700 6800 false(unreach-call) 1 40     1200 470    false(unreach-call) 1 13     810 140    timeout 1 900    110 4300   false(unreach-call) 1 1.1  55 14    timeout 900    60 11000   done 1 50    380 730   done 1 13   320 120
eca-rers2012/Problem12_label51.yml timeout 900   8400 6100 timeout 900   4700 6100 false(unreach-call) 1 60     1200 640    false(unreach-call) 1 27     850 320    done 19    110 100   false(unreach-call) 1 11    240 120    timeout 900    60 12000   done 1 47    140 690   done 1 12   320 110
eca-rers2012/Problem12_label52.yml timeout 900   8300 5700 timeout 900   4700 5200 false(unreach-call) 1 40     1200 410    false(unreach-call) 1 13     810 170    timeout 1 900    110 4700   false(unreach-call) 1 1.8  78 25    timeout 900    60 14000   done 1 58    870 690   done 1 12   330 120
eca-rers2012/Problem12_label55.yml timeout 900   5100 8200 timeout 900   3200 5900 false(unreach-call) 1 51     1200 540    false(unreach-call) 1 23     850 250    timeout 1 900    110 2400   false(unreach-call) 1 19    350 210    timeout 900    60 13000   done 1 47    170 690   done 1 12   320 140
eca-rers2012/Problem13_label04.yml done 1 200   6700 2100 timeout 900   7100 5800 false(unreach-call) 1 100     1800 1200    false(unreach-call) 1 67     1800 930    timeout 1 900    140 2600   false(unreach-call) 1 4.7  160 58    timeout 900    65 13000   done 1 64    190 830   done 1 15   420 170
eca-rers2012/Problem13_label06.yml done 1 430   6500 2700 timeout 900   7000 6100 false(unreach-call) 1 100     1800 1400    false(unreach-call) 1 27     1700 290    done 16    140 100   false(unreach-call) 1 1.6  76 19    timeout 900    65 13000   done 1 69    630 960   done 1 15   430 180
eca-rers2012/Problem13_label07.yml done 1 410   10000 3300 timeout 900   7200 6200 false(unreach-call) 1 630     1900 6700    false(unreach-call) 1 28     1700 310    done 18    140 120   false(unreach-call) 1 .78 47 8.8  timeout 900    65 15000   done 1 62    92 830   done 1 17   430 190
eca-rers2012/Problem13_label11.yml timeout 900   11000 6100 timeout 900   7200 6800 false(unreach-call) 1 120     1800 1300    false(unreach-call) 1 33     1700 350    timeout 1 900    140 3500   false(unreach-call) 1 4.7  160 58    timeout 900    66 13000   done 1 72    870 860   done 1 17   420 170
eca-rers2012/Problem13_label12.yml done 1 280   9600 2600 timeout 900   7200 7100 false(unreach-call) 1 88     1800 990    false(unreach-call) 1 29     1700 310    timeout 1 900    140 2500   false(unreach-call) 1 2.7  110 38    timeout 900    65 13000   done 1 65    310 800   done 1 15   420 180
eca-rers2012/Problem13_label16.yml timeout 900   11000 6500 timeout 900   7200 7500 false(unreach-call) 1 110     1800 1200    false(unreach-call) 1 29     1700 300    timeout 1 900    140 2400   false(unreach-call) 1 2.0  88 24    timeout 900    66 12000   done 1 64    240 920   done 1 15   430 170
eca-rers2012/Problem13_label19.yml timeout 900   11000 7600 timeout 900   7200 8200 false(unreach-call) 1 110     1800 1300    false(unreach-call) 1 32     1700 340    timeout 1 900    140 2800   false(unreach-call) 1 3.6  130 43    timeout 900    65 15000   done 1 66    450 900   done 1 15   430 150
eca-rers2012/Problem13_label21.yml done 1 310   9900 2700 timeout 900   7200 6300 false(unreach-call) 1 400     2100 5600    false(unreach-call) 1 32     1700 340    timeout 1 900    140 3200   false(unreach-call) 1 1.3  66 19    timeout 900    65 12000   done 1 63    130 880   done 1 17   420 170
eca-rers2012/Problem13_label23.yml timeout 900   7000 6200 timeout 900   5100 5700 false(unreach-call) 1 440     2000 4800    false(unreach-call) 1 54     1800 550    timeout 1 900    140 2700   false(unreach-call) 1 1.4  71 18    timeout 900    65 12000   done 1 65    330 680   done 1 16   430 180
eca-rers2012/Problem13_label24.yml done 1 460   6100 2800 timeout 900   5200 5200 false(unreach-call) 1 210     2000 2400    false(unreach-call) 1 27     1700 330    done 21    140 110   false(unreach-call) 1 1.2  62 15    timeout 900    65 12000   done 1 62    110 940   done 1 15   430 160
eca-rers2012/Problem13_label25.yml timeout 900   7900 8200 timeout 900   5200 6300 false(unreach-call) 1 100     1800 1100    false(unreach-call) 1 31     1700 410    done 19    140 110   false(unreach-call) 1 5.1  170 61    timeout 900    65 12000   done 1 62    100 870   done 1 15   420 150
eca-rers2012/Problem13_label28.yml done 1 24   990 200 timeout 900   7200 6100 false(unreach-call) 1 99     1800 1100    false(unreach-call) 1 39     1700 410    timeout 1 900    140 2500   false(unreach-call) 1 1.3  65 16    timeout 900    66 12000   done 1 62    92 770   done 1 15   430 170
eca-rers2012/Problem13_label29.yml done 1 740   6800 5000 timeout 900   7000 7200 false(unreach-call) 1 65     1800 700    false(unreach-call) 1 32     1700 310    timeout 1 900    140 2900   false(unreach-call) 1 25    530 210    timeout 900    65 13000   done 1 65    390 830   done 1 15   420 170
eca-rers2012/Problem13_label30.yml timeout 900   11000 7200 timeout 900   7100 6800 false(unreach-call) 1 470     2000 5000    false(unreach-call) 1 32     1700 420    timeout 1 900    140 2900   false(unreach-call) 1 1.4  67 18    timeout 900    65 14000   done 1 63    210 750   done 1 15   430 170
eca-rers2012/Problem13_label32.yml timeout 900   7800 6400 timeout 900   5300 6600 false(unreach-call) 1 77     1800 970    false(unreach-call) 1 46     1800 560    timeout 1 900    140 4400   false(unreach-call) 1 3.5  130 35    timeout 900    65 13000   done 1 65    310 930   done 1 15   420 170
eca-rers2012/Problem13_label35.yml done 1 140   6200 1200 timeout 930   7200 5300 false(unreach-call) 1 140     1800 1500    false(unreach-call) 1 63     1800 720    timeout 1 900    140 2700   false(unreach-call) 1 17    410 160    timeout 900    65 14000   done 1 91    1900 1100   done 1 16   420 170
eca-rers2012/Problem13_label36.yml done 1 180   6800 1800 timeout 900   7100 7100 false(unreach-call) 1 110     1800 1400    false(unreach-call) 1 37     1700 400    timeout 1 900    140 2600   false(unreach-call) 1 3.7  140 47    timeout 900    65 13000   done 1 63    160 760   done 1 15   430 170
eca-rers2012/Problem13_label40.yml done 1 26   1300 250 timeout 900   7100 6000 false(unreach-call) 1 110     1800 1200    false(unreach-call) 1 33     1700 350    timeout 1 900    140 3000   false(unreach-call) 1 1.2  62 16    timeout 900    65 13000   done 1 62    97 930   done 1 14   420 150
eca-rers2012/Problem13_label43.yml timeout 900   9500 6300 timeout 900   7100 7400 false(unreach-call) 1 110     1800 1200    false(unreach-call) 1 28     1700 290    done 22    140 130   false(unreach-call) 1 1.9  83 27    timeout 900    65 12000   done 1 63    160 930   done 1 15   410 160
eca-rers2012/Problem13_label44.yml done 1 220   6100 1900 timeout 900   7100 6000 false(unreach-call) 1 190     1900 2500    false(unreach-call) 1 38     1700 390    timeout 1 900    140 4000   false(unreach-call) 1 1.2  62 15    timeout 900    65 12000   done 1 62    92 840   done 1 16   430 190
eca-rers2012/Problem13_label45.yml done 1 23   990 210 timeout 900   7100 5900 false(unreach-call) 1 140     1800 1700    false(unreach-call) 1 56     1800 660    timeout 1 900    140 4800   false(unreach-call) 1 .77 46 9.4  timeout 900    65 13000   done 1 62    110 840   done 1 16   420 180
eca-rers2012/Problem13_label48.yml done 1 160   7000 1400 timeout 900   7100 6900 false(unreach-call) 1 120     1800 1200    false(unreach-call) 1 39     1700 360    timeout 1 900    140 3700   false(unreach-call) 1 1.8  81 24    timeout 900    65 13000   done 1 66    460 890   done 1 15   420 180
eca-rers2012/Problem13_label51.yml timeout 900   11000 6300 timeout 900   7100 7200 false(unreach-call) 1 120     1800 1200    false(unreach-call) 1 32     1700 350    done 14    140 110   false(unreach-call) 1 14    350 140    timeout 900    65 14000   done 1 77    1200 1200   done 1 15   420 160
eca-rers2012/Problem13_label54.yml timeout 900   11000 7000 timeout 900   7100 7400 false(unreach-call) 1 86     1800 850    false(unreach-call) 1 56     1800 530    timeout 1 900    140 3600   false(unreach-call) 1 9.1  260 88    timeout 900    65 14000   done 1 75    1100 890   done 1 15   420 150
eca-rers2012/Problem13_label58.yml timeout 900   11000 6800 timeout 900   7100 6600 false(unreach-call) 1 460     2600 5300    false(unreach-call) 1 50     1800 530    done 16    140 110   false(unreach-call) 1 1.3  65 15    timeout 900    65 12000   done 1 64    240 870   done 1 15   420 180
eca-rers2012/Problem15_label00.yml done 1 16   520 120 timeout 930   4500 7200 false(unreach-call) 1 170     980 1900    false(unreach-call) 1 21     690 220    timeout 1 900    62 3700   false(unreach-call) 1 .32 28 4.0  timeout 900    50 16000   done 1 18    34 270   done 1 7.9 270 91
eca-rers2012/Problem15_label02.yml done 1 17   580 140 timeout 930   4700 9500 false(unreach-call) 1 230     1000 2500    false(unreach-call) 1 13     680 140    timeout 1 900    62 2100   false(unreach-call) 1 .35 29 4.2  timeout 900    50 12000   done 1 18    34 240   done 1 9.7 260 100
eca-rers2012/Problem15_label03.yml done 1 18   660 140 timeout 900   6100 6400 false(unreach-call) 1 130     920 1500    false(unreach-call) 1 13     680 150    timeout 1 900    63 4300   false(unreach-call) 1 .35 29 4.7  timeout 900    50 12000   done 1 18    34 220   done 1 8.4 280 100
eca-rers2012/Problem15_label07.yml done 1 21   900 200 timeout 900   4600 5200 false(unreach-call) 1 67     920 730    false(unreach-call) 1 11     680 120    done 35    62 110   false(unreach-call) 1 .48 30 6.4  timeout 900    50 15000   done 1 18    43 280   done 1 9.4 270 120
eca-rers2012/Problem15_label09.yml done 1 19   720 150 timeout 900   4500 6500 false(unreach-call) 1 150     920 1500    false(unreach-call) 1 12     730 130    timeout 1 900    61 2600   false(unreach-call) 1 .33 28 6.2  timeout 900    50 12000   done 1 18    40 270   done 1 7.6 270 79
eca-rers2012/Problem15_label14.yml done 1 18   660 160 timeout 900   6100 7200 false(unreach-call) 1 96     960 1100    false(unreach-call) 1 11     730 130    timeout 1 900    62 4600   false(unreach-call) 1 .62 32 6.9  timeout 900    50 12000   done 1 18    34 240   done 1 8.2 280 85
eca-rers2012/Problem15_label15.yml done 1 17   690 140 timeout 900   6100 6100 false(unreach-call) 1 250     960 2600    false(unreach-call) 1 10     680 110    timeout 1 900    62 4100   false(unreach-call) 1 .41 29 4.9  timeout 900    50 15000   done 1 18    33 260   done 1 9.3 280 110
eca-rers2012/Problem15_label22.yml done 1 18   630 150 timeout 900   4700 7300 false(unreach-call) 1 400     1000 4500    false(unreach-call) 1 22     770 240    timeout 1 900    62 2400   false(unreach-call) 1 .35 29 4.4  timeout 900    50 14000   done 1 18    34 230   done 1 8.4 270 86
eca-rers2012/Problem15_label23.yml done 1 18   810 170 timeout 900   6100 7000 false(unreach-call) 1 130     950 1400    false(unreach-call) 1 14     680 150    timeout 1 900    61 3000   false(unreach-call) 1 .70 34 8.9  timeout 900    50 13000   done 1 18    35 220   done 1 7.6 270 77
eca-rers2012/Problem15_label25.yml done 1 21   1000 200 timeout 900   4500 6500 false(unreach-call) 1 71     990 760    false(unreach-call) 1 12     680 170    timeout 1 900    62 2800   false(unreach-call) 1 .50 30 5.2  timeout 900    50 13000   done 1 18    38 250   done 1 8.1 290 74
eca-rers2012/Problem15_label29.yml done 1 18   700 160 timeout 900   4600 7400 false(unreach-call) 1 160     980 1700    false(unreach-call) 1 11     680 120    timeout 1 900    61 3500   false(unreach-call) 1 .37 29 5.8  timeout 900    50 13000   done 1 18    35 250   done 1 8.8 290 99
eca-rers2012/Problem15_label30.yml done 1 16   600 130 timeout 900   4500 6600 false(unreach-call) 1 190     970 2300    false(unreach-call) 1 10     680 120    timeout 1 900    61 5000   false(unreach-call) 1 .42 29 5.9  timeout 900    50 13000   done 1 18    34 270   done 1 8.9 280 88
eca-rers2012/Problem15_label33.yml done 1 17   640 150 timeout 900   6100 9400 false(unreach-call) 1 110     1000 1600    false(unreach-call) 1 11     730 130    timeout 1 900    62 3900   false(unreach-call) 1 .37 29 5.1  timeout 900    50 10000   done 1 18    34 250   done 1 7.8 280 82
eca-rers2012/Problem15_label34.yml done 1 19   670 160 timeout 900   5900 6700 false(unreach-call) 1 24     810 260    false(unreach-call) 1 11     680 130    timeout 1 900    62 4700   false(unreach-call) 1 .44 30 6.4  timeout 900    50 13000   done 1 18    42 240   done 1 7.7 270 75
eca-rers2012/Problem15_label37.yml done 1 21   930 170 timeout 900   3300 7300 false(unreach-call) 1 150     980 1700    false(unreach-call) 1 11     680 130    done 26    62 91   false(unreach-call) 1 .47 30 5.3  timeout 900    50 16000   done 1 18    34 230   done 1 8.5 280 98
eca-rers2012/Problem15_label38.yml done 1 20   930 180 timeout 900   6000 6400 false(unreach-call) 1 26     810 280    false(unreach-call) 1 11     680 160    timeout 1 900    62 2900   false(unreach-call) 1 .35 29 5.1  timeout 900    50 14000   done 1 19    47 260   done 1 7.6 280 72
eca-rers2012/Problem15_label39.yml done 1 20   940 180 timeout 900   4500 7400 false(unreach-call) 1 220     1000 2300    false(unreach-call) 1 13     730 150    timeout 1 900    62 3100   false(unreach-call) 1 .51 31 6.5  timeout 900    50 12000   done 1 18    39 230   done 1 7.6 270 84
eca-rers2012/Problem15_label40.yml done 1 18   660 170 timeout 900   3300 7700 false(unreach-call) 1 43     830 610    false(unreach-call) 1 21     700 260    timeout 1 900    62 4100   false(unreach-call) 1 .35 29 4.1  timeout 900    50 13000   done 1 18    34 220   done 1 9.0 270 100
eca-rers2012/Problem15_label41.yml done 1 17   710 150 timeout 900   4500 6500 false(unreach-call) 1 160     970 1900    false(unreach-call) 1 18     730 240    timeout 1 900    62 2900   false(unreach-call) 1 .34 28 4.7  timeout 900    50 14000   done 1 18    34 270   done 1 8.0 270 82
eca-rers2012/Problem15_label45.yml done 1 18   690 160 timeout 900   4600 7100 false(unreach-call) 1 200     1000 2100    false(unreach-call) 1 12     680 140    done 28    62 100   false(unreach-call) 1 .49 31 5.4  timeout 900    50 12000   done 1 18    41 230   done 1 7.9 280 86
eca-rers2012/Problem15_label47.yml done 1 17   690 140 timeout 900   4500 8900 false(unreach-call) 1 200     1000 2200    false(unreach-call) 1 19     710 220    timeout 1 900    62 4700   false(unreach-call) 1 .37 29 4.3  timeout 900    50 13000   done 1 18    38 240   done 1 8.5 270 84
eca-rers2012/Problem15_label48.yml done 1 17   700 150 timeout 900   6000 6500 false(unreach-call) 1 130     970 1500    false(unreach-call) 1 21     750 210    timeout 1 900    62 2400   false(unreach-call) 1 .35 29 4.1  timeout 900    50 14000   done 1 18    34 260   done 1 8.7 280 89
eca-rers2012/Problem15_label50.yml done 1 18   770 170 timeout 900   3300 6400 false(unreach-call) 1 190     950 2000    false(unreach-call) 1 12     680 140    timeout 1 900    62 4500   false(unreach-call) 1 .70 34 9.6  timeout 900    50 13000   done 1 18    35 290   done 1 7.9 270 79
eca-rers2012/Problem15_label51.yml done 1 18   640 150 timeout 900   4500 8400 false(unreach-call) 1 150     1000 2200    false(unreach-call) 1 11     680 120    timeout 1 900    61 3100   false(unreach-call) 1 .51 31 6.0  timeout 900    50 12000   done 1 18    34 270   done 1 7.7 270 94
eca-rers2012/Problem16_label00.yml timeout 900   6100 7300 timeout 900   2500 7800 timeout 900     1300 12000    timeout 900     1300 10000    timeout 900    52 2300   false(unreach-call) 1 1.4  43 16    timeout 900    46 15000   done 1 17    77 230   done 1 28   270 310
eca-rers2012/Problem16_label01.yml timeout 900   8100 6900 timeout 900   3600 6900 timeout 900     1200 13000    timeout 900     1300 13000    timeout 900    52 3300   false(unreach-call) 1 1.4  44 17    timeout 900    46 14000   done 1 17    69 230   done 1 27   260 310
eca-rers2012/Problem16_label03.yml timeout 900   8000 7400 timeout 900   6600 7200 timeout 900     2100 9300    timeout 900     2000 11000    timeout 900    52 4400   false(unreach-call) 1 1.7  50 20    timeout 900    46 13000   done 1 17    95 220   done 1 31   260 340
eca-rers2012/Problem16_label04.yml timeout 900   8000 8500 timeout 900   4800 7100 false(unreach-call) 1 350     1600 4500    false(unreach-call) 1 280     1600 3200    timeout 900    52 4500   false(unreach-call) 1 1.1  37 14    timeout 900    46 14000   done 1 17    65 220   done 1 26   270 350
eca-rers2012/Problem16_label05.yml timeout 900   9900 7600 timeout 900   5600 6900 false(unreach-call) 1 250     1600 2700    false(unreach-call) 1 170     1600 1900    timeout 900    52 2800   false(unreach-call) 1 2.5  62 35    timeout 900    46 12000   done 1 18    120 240   done 1 28   270 380
eca-rers2012/Problem16_label06.yml timeout 900   10000 7100 timeout 900   5700 7600 false(unreach-call) 1 770     1900 8200    false(unreach-call) 1 610     1900 6900    timeout 900    52 2200   false(unreach-call) 1 1.7  49 17    timeout 900    46 13000   done 1 17    90 230   done 1 35   270 400
eca-rers2012/Problem16_label08.yml timeout 900   9700 6500 timeout 900   6100 7100 false(unreach-call) 1 570     1900 7300    false(unreach-call) 1 490     1900 6300    timeout 900    52 2900   false(unreach-call) 1 2.1  55 31    timeout 900    46 14000   done 1 18    110 240   done 1 29   270 360
eca-rers2012/Problem16_label14.yml timeout 900   9400 8000 timeout 900   6000 10000 false(unreach-call) 1 650     2100 7600    false(unreach-call) 1 570     2200 6500    timeout 900    52 4000   false(unreach-call) 1 1.9  53 25    timeout 900    46 12000   done 1 17    97 270   done 1 28   270 310
eca-rers2012/Problem16_label15.yml timeout 900   8100 6800 timeout 900   6400 7200 false(unreach-call) 1 410     1800 4900    false(unreach-call) 1 330     1800 4300    done 27    52 81   false(unreach-call) 1 1.3  41 17    timeout 900    46 13000   done 1 17    67 210   done 1 31   280 450
eca-rers2012/Problem16_label18.yml timeout 900   12000 7600 timeout 900   7100 7000 timeout 900     2100 11000    timeout 900     2000 10000    done 23    52 93   false(unreach-call) 1 2.4  60 27    timeout 900    46 12000   done 1 18    110 220   done 1 31   270 420
eca-rers2012/Problem16_label20.yml timeout 900   11000 7000 timeout 900   6400 6400 false(unreach-call) 1 510     1800 5400    false(unreach-call) 1 430     1800 5100    timeout 900    52 3900   false(unreach-call) 1 1.3  41 14    timeout 900    46 13000   done 1 17    68 220   done 1 29   270 320
eca-rers2012/Problem16_label22.yml timeout 900   11000 6800 timeout 900   6400 6900 false(unreach-call) 1 870     1900 9900    false(unreach-call) 1 730     1800 10000    done 23    52 84   false(unreach-call) 1 1.5  46 20    timeout 900    46 15000   done 1 17    86 240   done 1 28   270 330
eca-rers2012/Problem16_label27.yml timeout 900   8400 7600 timeout 900   5400 7300 false(unreach-call) 1 560     1900 6000    false(unreach-call) 1 470     1900 5200    timeout 900    52 2700   false(unreach-call) 1 1.5  45 18    timeout 900    46 14000   done 1 17    81 220   done 1 29   270 330
eca-rers2012/Problem16_label30.yml timeout 900   11000 7400 timeout 900   6300 7500 false(unreach-call) 1 600     1900 7400    false(unreach-call) 1 440     1700 4700    timeout 900    52 4000   false(unreach-call) 1 1.6  48 25    timeout 900    46 12000   done 1 17    86 220   done 1 29   270 310
eca-rers2012/Problem16_label31.yml timeout 900   8400 7400 timeout 900   6900 7200 timeout 900     2100 11000    timeout 900     2000 9800    timeout 900    52 4700   false(unreach-call) 1 2.0  55 29    timeout 900    46 16000   done 1 18    110 230   done 1 26   260 270
eca-rers2012/Problem16_label33.yml timeout 900   8400 9100 timeout 900   5400 6600 false(unreach-call) 1 620     2200 6800    false(unreach-call) 1 520     2100 6400    done 24    52 85   false(unreach-call) 1 1.3  40 16    timeout 900    46 12000   done 1 16    64 220   done 1 28   270 310
eca-rers2012/Problem16_label37.yml timeout 900   11000 6800 timeout 900   6500 8000 false(unreach-call) 1 200     1700 2300    false(unreach-call) 1 120     1600 1300    timeout 900    52 2200   false(unreach-call) 1 1.3  41 16    timeout 900    46 12000   done 1 17    71 230   done 1 28   270 270
eca-rers2012/Problem16_label38.yml timeout 900   8800 8000 timeout 900   6300 7700 false(unreach-call) 1 740     2000 9300    false(unreach-call) 1 640     1700 7000    timeout 900    52 2700   false(unreach-call) 1 1.7  49 21    timeout 900    46 12000   done 1 17    88 230   done 1 30   270 450
eca-rers2012/Problem16_label41.yml timeout 900   8600 7700 timeout 900   6300 7600 false(unreach-call) 1 340     1700 3900    false(unreach-call) 1 270     1600 2900    timeout 900    52 3700   false(unreach-call) 1 1.3  41 21    timeout 900    46 13000   done 1 17    67 220   done 1 27   280 290
eca-rers2012/Problem16_label43.yml timeout 900   8000 7400 timeout 900   6600 6600 timeout 900     2000 9600    timeout 900     1900 11000    timeout 900    52 3500   false(unreach-call) 1 1.5  44 16    timeout 900    46 14000   done 1 17    80 230   done 1 26   270 310
eca-rers2012/Problem16_label44.yml timeout 900   9700 6700 timeout 900   5600 8000 false(unreach-call) 1 300     1700 3800    false(unreach-call) 1 250     1600 2100    timeout 900    52 4800   false(unreach-call) 1 1.2  39 16    timeout 900    46 13000   done 1 16    61 200   done 1 27   270 320
eca-rers2012/Problem16_label46.yml timeout 900   9900 7800 timeout 900   5800 7600 timeout 900     1800 11000    timeout 900     1700 11000    timeout 900    52 3700   false(unreach-call) 1 2.3  58 29    timeout 900    46 13000   done 1 17    100 230   done 1 30   270 360
eca-rers2012/Problem16_label51.yml timeout 900   11000 7300 timeout 900   6400 9100 false(unreach-call) 1 670     1700 7300    false(unreach-call) 1 540     1600 6100    done 28    52 85   false(unreach-call) 1 1.6  48 20    timeout 900    46 12000   done 1 17    80 250   done 1 33   270 440
eca-rers2012/Problem16_label52.yml timeout 900   10000 7200 timeout 900   5600 7000 false(unreach-call) 1 430     1600 4800    false(unreach-call) 1 380     1500 4600    timeout 900    52 2900   false(unreach-call) 1 1.2  39 11    timeout 900    46 14000   done 1 16    63 190   done 1 28   270 390
eca-rers2012/Problem16_label54.yml timeout 900   8300 6600 timeout 900   5700 8200 false(unreach-call) 1 770     1800 8700    false(unreach-call) 1 640     1800 7900    timeout 900    52 2300   false(unreach-call) 1 1.3  42 19    timeout 900    46 14000   done 1 17    66 210   done 1 26   270 350
eca-rers2012/Problem17_label04.yml done 1 18   550 170 timeout 900   5000 6800 false(unreach-call) 1 270     1400 3100    false(unreach-call) 1 39     1400 450    timeout 1 900    94 2500   false(unreach-call) 1 .48 37 5.8  timeout 900    54 12000   done 1 29    50 470   done 1 11   310 110
eca-rers2012/Problem17_label07.yml timeout 900   8000 6300 timeout 900   4900 6000 false(unreach-call) 1 190     1400 2200    false(unreach-call) 1 29     1400 340    timeout 1 900    93 2900   false(unreach-call) 1 1.1  48 14    timeout 900    54 15000   done 1 32    250 410   done 1 9.8 310 91
eca-rers2012/Problem17_label09.yml done 1 18   600 140 timeout 900   3400 5900 false(unreach-call) 1 410     1400 5400    false(unreach-call) 1 29     1400 360    timeout 1 900    94 2600   false(unreach-call) 1 .63 38 7.5  timeout 900    54 14000   done 1 29    50 400   done 1 9.6 300 94
eca-rers2012/Problem17_label13.yml done 1 21   870 180 timeout 900   3500 5900 false(unreach-call) 1 430     1500 5300    false(unreach-call) 1 47     1500 480    done 29    93 94   false(unreach-call) 1 .89 42 12    timeout 900    54 14000   done 1 29    50 360   done 1 9.7 300 100
eca-rers2012/Problem17_label16.yml done 1 20   760 180 timeout 900   5100 6600 false(unreach-call) 1 260     1400 2900    false(unreach-call) 1 28     1400 300    done 14    93 140   false(unreach-call) 1 .53 36 6.4  timeout 900    54 12000   done 1 29    69 370   done 1 9.6 320 100
eca-rers2012/Problem17_label20.yml timeout 910   4600 6800 timeout 900   5000 7300 false(unreach-call) 1 290     1400 3400    false(unreach-call) 1 28     1400 300    timeout 1 900    93 2700   false(unreach-call) 1 2.3  71 27    timeout 900    54 12000   done 1 31    190 430   done 1 10   320 100
eca-rers2012/Problem17_label23.yml done 1 18   730 140 timeout 900   3400 6000 false(unreach-call) 1 70     1400 800    false(unreach-call) 1 33     1400 390    timeout 1 900    93 2700   false(unreach-call) 1 .83 42 11    timeout 900    54 14000   done 1 29    50 400   done 1 13   310 140
eca-rers2012/Problem17_label25.yml done 1 23   990 230 timeout 930   3400 6900 false(unreach-call) 1 290     1500 3100    false(unreach-call) 1 65     1500 660    timeout 1 900    93 5000   false(unreach-call) 1 .65 39 7.6  timeout 900    54 13000   done 1 29    58 370   done 1 9.6 310 97
eca-rers2012/Problem17_label26.yml done 1 21   870 180 timeout 900   4900 6800 false(unreach-call) 1 56     1400 560    false(unreach-call) 1 28     1400 290    timeout 1 900    93 2600   false(unreach-call) 1 .64 37 10    timeout 900    54 11000   done 1 29    49 470   done 1 9.5 310 110
eca-rers2012/Problem17_label30.yml done 1 16   560 130 timeout 900   5000 9300 false(unreach-call) 1 260     1400 2800    false(unreach-call) 1 46     1400 580    done 20    94 140   false(unreach-call) 1 .51 35 5.9  timeout 900    54 13000   done 1 29    50 400   done 1 9.5 320 100
eca-rers2012/Problem17_label31.yml timeout 900   4400 4400 timeout 900   3400 6900 false(unreach-call) 1 98     1400 1200    false(unreach-call) 1 47     1400 510    timeout 1 900    93 2400   false(unreach-call) 1 .39 32 5.7  timeout 900    54 13000   done 1 29    49 390   done 1 9.9 310 99
eca-rers2012/Problem17_label33.yml done 1 22   1000 180 timeout 900   5000 6600 false(unreach-call) 1 160     1400 1800    false(unreach-call) 1 28     1400 290    timeout 1 900    92 2400   false(unreach-call) 1 .50 35 6.4  timeout 900    54 14000   done 1 30    120 450   done 1 10   310 120
eca-rers2012/Problem17_label34.yml done 1 18   710 160 timeout 900   5000 6800 false(unreach-call) 1 230     1600 2500    false(unreach-call) 1 47     1500 580    timeout 1 900    94 3400   false(unreach-call) 1 .59 37 7.0  timeout 900    54 12000   done 1 29    64 450   done 1 9.7 310 98
eca-rers2012/Problem17_label35.yml timeout 900   4700 5900 timeout 900   3300 5700 false(unreach-call) 1 380     1500 4000    false(unreach-call) 1 48     1500 620    timeout 1 900    93 4600   false(unreach-call) 1 .66 39 8.2  timeout 900    54 11000   done 1 29    74 390   done 1 10   320 100
eca-rers2012/Problem17_label37.yml done 1 21   950 170 timeout 900   5000 6300 false(unreach-call) 1 530     1500 6200    false(unreach-call) 1 23     1400 240    timeout 900    93 3200   false(unreach-call) 1 1.2  50 15    timeout 900    54 12000   done 1 30    110 350   done 1 9.8 320 100
eca-rers2012/Problem17_label40.yml done 1 21   950 190 timeout 900   5000 6300 false(unreach-call) 1 93     1500 960    false(unreach-call) 1 66     1500 960    timeout 1 900    93 2600   false(unreach-call) 1 .46 34 5.9  timeout 900    54 12000   done 1 29    50 420   done 1 9.7 310 91
eca-rers2012/Problem17_label46.yml timeout 900   4700 7900 timeout 900   3400 5500 false(unreach-call) 1 310     1500 4400    false(unreach-call) 1 39     1500 430    timeout 1 900    94 2800   false(unreach-call) 1 .58 36 8.6  timeout 900    54 12000   done 1 29    53 400   done 1 9.9 310 100
eca-rers2012/Problem17_label49.yml done 1 20   770 160 timeout 900   4900 6200 false(unreach-call) 1 480     1500 5400    false(unreach-call) 1 36     1400 380    timeout 900    92 3000   false(unreach-call) 1 .66 39 8.5  timeout 900    54 13000   done 1 30    92 370   done 1 9.8 300 100
eca-rers2012/Problem17_label50.yml done 1 840   4900 5600 timeout 900   5200 5800 false(unreach-call) 1 290     1500 2800    false(unreach-call) 1 49     1500 570    done 31    93 110   false(unreach-call) 1 .48 34 6.1  timeout 900    54 12000   done 1 29    67 440   done 1 10   320 110
eca-rers2012/Problem17_label52.yml timeout 900   4700 6500 timeout 900   3400 5300 false(unreach-call) 1 240     1500 2600    false(unreach-call) 1 35     1400 370    timeout 1 900    94 3000   false(unreach-call) 1 .76 40 11    timeout 900    54 13000   done 1 30    100 400   done 1 9.8 310 96
eca-rers2012/Problem17_label53.yml done 1 16   540 130 timeout 900   4900 5600 false(unreach-call) 1 69     1400 820    false(unreach-call) 1 28     1400 320    timeout 1 900    93 2700   false(unreach-call) 1 .49 35 6.8  timeout 900    54 13000   done 1 29    50 350   done 1 9.7 310 110
eca-rers2012/Problem17_label54.yml done 1 20   880 170 timeout 900   5200 5800 false(unreach-call) 1 260     1400 2800    false(unreach-call) 1 33     1400 360    timeout 1 900    93 2100   false(unreach-call) 1 .93 43 12    timeout 900    54 13000   done 1 29    57 460   done 1 9.7 310 100
eca-rers2012/Problem17_label55.yml done 1 19   770 160 timeout 900   3500 6000 false(unreach-call) 1 320     1500 3700    false(unreach-call) 1 44     1500 540    done 23    93 98   false(unreach-call) 1 .65 39 8.1  timeout 900    54 13000   done 1 29    50 430   done 1 9.6 310 100
eca-rers2012/Problem17_label57.yml done 1 25   1200 220 timeout 900   4900 8400 false(unreach-call) 1 320     1700 4000    false(unreach-call) 1 30     1400 300    timeout 900    93 2900   false(unreach-call) 1 1.2  49 17    timeout 900    54 14000   done 1 30    90 450   done 1 9.7 300 110
eca-rers2012/Problem18_label00.yml done 1 320   4500 3000 timeout 900   5900 6300 false(unreach-call) 1 87     1500 1000    false(unreach-call) 1 45     1400 570    done 18    77 97   false(unreach-call) 1 .81 41 11    timeout 900    51 12000   done 1 35    170 500   done 1 17   310 190
eca-rers2012/Problem18_label01.yml done 1 300   3700 2100 timeout 900   5700 6200 false(unreach-call) 1 97     1500 1300    false(unreach-call) 1 68     1400 750    done 30    77 120   false(unreach-call) 1 2.1  61 27    timeout 900    51 13000   done 1 33    67 430   done 1 28   310 310
eca-rers2012/Problem18_label03.yml done 1 280   3700 2300 timeout 900   4500 5800 false(unreach-call) 1 98     1500 980    false(unreach-call) 1 69     1400 700    done 20    77 120   false(unreach-call) 1 7.1  130 73    timeout 900    51 12000   done 1 34    100 430   done 1 21   320 230
eca-rers2012/Problem18_label06.yml done 1 270   5200 2700 timeout 900   4700 5900 false(unreach-call) 1 160     1500 1700    false(unreach-call) 1 130     1400 1500    timeout 900    77 2600   false(unreach-call) 1 4.1  95 50    timeout 900    51 13000   done 1 34    120 480   done 1 18   310 190
eca-rers2012/Problem18_label08.yml done 1 130   3500 1000 timeout 900   3600 5100 false(unreach-call) 1 85     1500 1100    false(unreach-call) 1 45     1400 550    done 14    77 120   false(unreach-call) 1 2.4  67 28    timeout 900    51 11000   done 1 34    78 420   done 1 17   320 190
eca-rers2012/Problem18_label09.yml done 1 240   6000 2000 timeout 900   5900 6400 false(unreach-call) 1 810     1600 8300    false(unreach-call) 1 630     1600 8700    done 20    77 120   false(unreach-call) 1 .71 39 9.2  timeout 900    51 12000   done 1 37    240 470   done 1 23   300 300
eca-rers2012/Problem18_label10.yml done 1 550   4700 3800 timeout 900   4700 5600 false(unreach-call) 1 74     1500 910    false(unreach-call) 1 47     1400 530    timeout 1 900    77 2600   false(unreach-call) 1 .92 42 12    timeout 900    52 13000   done 1 35    160 430   done 1 23   310 290
eca-rers2012/Problem18_label12.yml done 1 150   2900 1100 timeout 900   2100 7800 false(unreach-call) 1 120     1500 1300    false(unreach-call) 1 73     1400 780    timeout 900    77 3000   false(unreach-call) 1 .64 37 7.3  timeout 900    51 14000   done 1 33    76 490   done 1 28   310 320
eca-rers2012/Problem18_label19.yml done 1 160   3700 1500 timeout 900   4500 6100 false(unreach-call) 1 76     1500 890    false(unreach-call) 1 46     1400 490    done 26    76 82   false(unreach-call) 1 .93 42 14    timeout 900    51 15000   done 1 35    150 470   done 1 19   310 230
eca-rers2012/Problem18_label20.yml timeout 900   9900 7300 timeout 900   6100 7200 false(unreach-call) 1 95     1500 1000    false(unreach-call) 1 68     1400 670    done 27    76 94   false(unreach-call) 1 4.7  100 57    timeout 900    51 11000   done 1 41    440 540   done 1 28   310 340
eca-rers2012/Problem18_label25.yml timeout 900   7200 7300 timeout 900   3400 6600 false(unreach-call) 1 75     1500 770    false(unreach-call) 1 47     1400 490    timeout 1 900    77 5000   false(unreach-call) 1 .86 41 11    timeout 900    51 12000   done 1 35    170 530   done 1 12   310 140
eca-rers2012/Problem18_label27.yml done 1 250   3600 1500 timeout 900   4500 7200 false(unreach-call) 1 74     1500 830    false(unreach-call) 1 45     1400 470    done 25    77 110   false(unreach-call) 1 2.1  62 29    timeout 900    51 13000   done 1 33    68 430   done 1 25   320 300
eca-rers2012/Problem18_label31.yml done 1 250   7000 2100 timeout 900   4800 6600 false(unreach-call) 1 97     1500 1100    false(unreach-call) 1 66     1400 730    done 18    77 110   false(unreach-call) 1 4.6  100 57    timeout 900    51 14000   done 1 43    540 640   done 1 28   310 300
eca-rers2012/Problem18_label32.yml timeout 900   4300 5400 timeout 900   1900 5600 false(unreach-call) 1 77     1500 850    false(unreach-call) 1 47     1400 520    done 19    77 100   false(unreach-call) 1 9.3  160 120    timeout 900    51 14000   done 1 34    97 440   done 1 22   340 260
eca-rers2012/Problem18_label33.yml timeout 900   6400 6700 timeout 900   3400 6100 false(unreach-call) 1 78     1500 860    false(unreach-call) 1 37     1400 380    timeout 1 900    77 3400   false(unreach-call) 1 19    250 240    timeout 900    52 14000   done 1 35    130 430   done 1 26   320 370
eca-rers2012/Problem18_label34.yml done 1 550   5800 3900 timeout 900   3500 5900 false(unreach-call) 1 180     1500 2100    false(unreach-call) 1 150     1500 1800    done 17    77 110   false(unreach-call) 1 5.5  110 65    timeout 900    51 13000   done 1 34    110 540   done 1 19   310 200
eca-rers2012/Problem18_label35.yml done 1 480   4100 3800 timeout 900   3600 6900 false(unreach-call) 1 88     1500 990    false(unreach-call) 1 59     1400 630    timeout 1 900    77 2600   false(unreach-call) 1 7.6  140 91    timeout 900    51 13000   done 1 40    400 470   done 1 23   310 260
eca-rers2012/Problem18_label36.yml done 1 300   4700 2300 timeout 900   4700 7400 false(unreach-call) 1 92     1500 960    false(unreach-call) 1 53     1400 600    timeout 1 900    77 4900   false(unreach-call) 1 4.7  100 60    timeout 900    51 13000   done 1 34    120 510   done 1 21   310 220
eca-rers2012/Problem18_label38.yml done 1 140   2900 1100 timeout 900   4700 5700 false(unreach-call) 1 210     1500 2500    false(unreach-call) 1 49     1400 520    done 26    77 62   false(unreach-call) 1 .61 37 7.6  timeout 900    52 12000   done 1 34    86 460   done 1 13   310 120
eca-rers2012/Problem18_label39.yml done 1 170   3400 1300 timeout 900   5700 6300 false(unreach-call) 1 110     1500 1200    false(unreach-call) 1 77     1400 810    timeout 1 900    77 2300   false(unreach-call) 1 2.6  71 34    timeout 900    51 14000   done 1 35    170 460   done 1 16   310 190
eca-rers2012/Problem18_label45.yml done 1 250   4100 2200 timeout 900   4500 5800 false(unreach-call) 1 78     1500 880    false(unreach-call) 1 47     1400 660    done 18    77 110   false(unreach-call) 1 19    250 270    timeout 900    51 14000   done 1 35    190 530   done 1 15   310 150
eca-rers2012/Problem18_label49.yml timeout 900   6200 7300 timeout 900   3400 5900 false(unreach-call) 1 160     1500 1900    false(unreach-call) 1 130     1500 1800    timeout 1 900    77 4400   false(unreach-call) 1 3.8  90 52    timeout 900    52 14000   done 1 34    130 490   done 1 18   310 230
eca-rers2012/Problem18_label52.yml done 1 120   4600 1100 timeout 900   3700 8200 false(unreach-call) 1 110     1500 1300    false(unreach-call) 1 76     1400 880    done 22    77 93   false(unreach-call) 1 .66 37 8.6  timeout 900    51 12000   done 1 33    75 430   done 1 20   310 270
eca-rers2012/Problem18_label55.yml done 1 130   5100 1200 timeout 900   6800 7000 false(unreach-call) 1 75     1500 920    false(unreach-call) 1 39     1400 410    timeout 1 900    77 4100   false(unreach-call) 1 4.3  98 49    timeout 900    51 14000   done 1 35    130 450   done 1 34   310 410
eca-rers2012/Problem18_label57.yml done 1 300   7000 2200 timeout 900   4700 6700 false(unreach-call) 1 220     1500 2300    false(unreach-call) 1 180     1500 2000    timeout 1 900    77 2400   false(unreach-call) 1 .65 38 9.2  timeout 900    52 12000   done 1 37    270 510   done 1 14   310 160
eca-rers2012/Problem19_label10.yml timeout 900   9200 7500 timeout 900   6800 7900 timeout 930     4200 11000    timeout 900     6800 9200    timeout 900    160 4000   false(unreach-call) 1 55    350 620    timeout 900    79 14000   done 1 110    910 1300   done 1 47   460 530
eca-rers2012/Problem19_label11.yml timeout 900   8500 5600 timeout 900   6800 6700 timeout 900     6900 9000    false(unreach-call) 1 670     6800 7900    done 25    170 91   false(unreach-call) 1 8.1  120 90    timeout 900    79 12000   done 1 90    230 1200   done 1 43   470 500
eca-rers2012/Problem19_label14.yml timeout 900   11000 6100 timeout 900   6900 5900 timeout 900     6900 11000    timeout 900     6800 9700    timeout 900    170 2600   false(unreach-call) 1 58    350 730    timeout 900    79 13000   done 1 99    590 1500   done 1 62   470 740
eca-rers2012/Problem19_label17.yml timeout 900   14000 9700 timeout 900   10000 8000 timeout 900     6900 9700    timeout 900     6800 8300    timeout 900    170 3000   false(unreach-call) 1 34    270 390    timeout 900    79 15000   done 1 99    610 1500   done 1 45   460 530
eca-rers2012/Problem19_label18.yml timeout 900   9600 7200 timeout 900   10000 6600 timeout 900     6900 11000    timeout 900     6800 10000    timeout 900    170 4100   false(unreach-call) 1 12    150 130    timeout 900    79 12000   done 1 95    460 1300   done 1 31   460 390
eca-rers2012/Problem19_label19.yml out of memory 530   15000 5000 out of memory 540   15000 4400 timeout 900     6900 9500    false(unreach-call) 1 690     6800 7300    timeout 900    170 2400   false(unreach-call) 1 19    200 190    timeout 900    79 13000   done 1 94    420 1200   done 1 42   460 490
eca-rers2012/Problem19_label21.yml timeout 900   8500 6600 timeout 900   6800 8000 timeout 900     6900 11000    timeout 900     6800 9000    timeout 900    170 5000   false(unreach-call) 1 59    360 640    timeout 900    79 13000   done 1 100    810 1300   done 1 60   460 770
eca-rers2012/Problem19_label22.yml timeout 900   8400 8000 timeout 930   6800 5700 timeout 900     6900 9900    timeout 900     6800 9100    timeout 900    170 2600   false(unreach-call) 1 9.2  130 120    timeout 900    79 14000   done 1 97    520 1300   done 1 30   460 350
eca-rers2012/Problem19_label26.yml timeout 900   8200 5900 timeout 900   6800 5500 timeout 900     6700 9700    timeout 900     6800 9600    timeout 900    170 2900   false(unreach-call) 1 5.9  110 71    timeout 900    79 12000   done 1 88    180 1300   done 1 40   460 490
eca-rers2012/Problem19_label27.yml timeout 900   8400 5100 timeout 900   6800 5800 timeout 900     6800 9200    timeout 930     6700 10000    done 42    170 170   false(unreach-call) 1 29    240 380    timeout 900    79 12000   done 1 93    380 1300   done 1 62   460 810
eca-rers2012/Problem19_label28.yml timeout 900   8400 7500 timeout 900   6800 7200 timeout 900     6900 9300    false(unreach-call) 1 710     6800 7200    timeout 900    170 3000   false(unreach-call) 1 3.9  91 54    timeout 900    79 14000   done 1 90    250 1200   done 1 65   450 730
eca-rers2012/Problem19_label29.yml out of memory 530   15000 4100 out of memory 500   15000 4200 timeout 900     6900 12000    timeout 900     6800 8600    timeout 900    170 2900   false(unreach-call) 1 4.1  91 52    timeout 900    79 15000   done 1 92    340 1400   done 1 53   460 630
eca-rers2012/Problem19_label31.yml timeout 900   9300 6400 timeout 900   6800 6000 false(unreach-call) 1 900     6900 11000    false(unreach-call) 1 630     6800 6200    done 31    170 200   false(unreach-call) 1 27    230 300    timeout 900    79 13000   done 1 94    410 1400   done 1 24   470 250
eca-rers2012/Problem19_label32.yml timeout 910   7900 5800 timeout 900   6800 5900 timeout 900     6900 12000    timeout 900     6800 9700    done 110    170 350   false(unreach-call) 1 25    230 290    timeout 900    79 14000   done 1 97    510 1500   done 1 47   460 550
eca-rers2012/Problem19_label41.yml timeout 900   14000 7900 timeout 900   10000 6300 timeout 900     6900 11000    timeout 900     6800 9200    done 60    170 280   false(unreach-call) 1 18    190 210    timeout 900    79 12000   done 1 100    730 1500   done 1 43   480 590
eca-rers2012/Problem19_label42.yml timeout 900   9600 5800 timeout 900   6800 5900 timeout 930     4200 11000    timeout 900     6800 10000    timeout 900    160 4100   false(unreach-call) 1 47    320 600    timeout 900    79 13000   done 1 110    990 1300   done 1 51   460 660
eca-rers2012/Problem19_label43.yml timeout 900   9300 5900 timeout 900   6800 8000 timeout 900     6900 11000    timeout 900     6800 9300    timeout 900    170 2900   false(unreach-call) 1 17    190 190    timeout 900    79 16000   done 1 96    490 1400   done 1 18   460 220
eca-rers2012/Problem19_label47.yml timeout 900   8400 5000 timeout 900   6800 5800 timeout 900     6800 9100    timeout 900     6700 8300    timeout 900    170 2300   false(unreach-call) 1 17    180 150    timeout 900    79 14000   done 1 97    510 1300   done 1 61   460 800
eca-rers2012/Problem19_label50.yml timeout 900   11000 6200 timeout 900   7000 7100 false(unreach-call) 1 540     6800 5000    false(unreach-call) 1 350     6700 3500    done 18    170 130   false(unreach-call) 1 7.9  120 110    timeout 900    79 14000   done 1 98    570 1300   done 1 54   460 650
eca-rers2012/Problem19_label51.yml timeout 910   9400 6900 timeout 900   6800 7600 timeout 900     3900 9800    timeout 900     6800 10000    timeout 1 900    170 2600   false(unreach-call) 1 8.4  130 100    timeout 900    79 15000   done 1 90    240 1200   done 1 62   470 690
eca-rers2012/Problem19_label53.yml timeout 900   8400 5500 timeout 900   6800 7300 timeout 900     6900 10000    timeout 900     6800 8900    timeout 900    170 2900   false(unreach-call) 1 41    300 530    timeout 900    79 14000   done 1 100    750 1300   done 1 56   460 630
eca-rers2012/Problem19_label55.yml timeout 900   11000 6800 timeout 900   6900 5800 timeout 900     6900 8900    timeout 900     6800 11000    done 29    170 130   false(unreach-call) 1 48    330 520    timeout 900    79 15000   done 1 110    920 1500   done 1 26   460 270
eca-rers2012/Problem19_label58.yml timeout 900   10000 6200 timeout 900   10000 5900 timeout 900     6900 8900    timeout 900     6800 8400    timeout 900    170 2200   false(unreach-call) 1 48    330 520    timeout 900    79 13000   done 1 97    560 1300   done 1 72   470 770
eca-rers2012/Problem19_label59.yml timeout 900   8400 6300 timeout 900   6800 7400 timeout 900     6900 11000    timeout 900     6800 12000    timeout 900    170 2600   false(unreach-call) 1 6.0  110 74    timeout 900    79 12000   done 1 88    170 1200   done 1 44   460 520
eca-programs/Problem101_label00.yml timeout 900   8300 7100 timeout 900   6700 9900 timeout 900     6300 9800    timeout 900     7400 11000    timeout 900    390 6200   timeout 900    9400 6300    timeout 900    410 13000   error(returned 1, slicing) 430    320 6200   done 1 330   2500 3700
eca-programs/Problem101_label01.yml timeout 900   8100 7100 timeout 900   6700 7000 timeout 900     6300 10000    timeout 900     7400 8300    timeout 900    390 4200   timeout 900    9400 6200    timeout 900    410 13000   error(returned 1, slicing) 430    320 5900   done 1 260   2600 3500
eca-programs/Problem101_label02.yml timeout 900   12000 6300 timeout 900   6500 10000 timeout 900     6300 11000    timeout 900     7700 8900    timeout 900    390 4400   timeout 900    9400 6800    timeout 900    410 13000   error(returned 1, slicing) 420    320 5400   done 1 280   2600 2900
eca-programs/Problem101_label03.yml timeout 900   10000 7200 timeout 900   6800 6800 timeout 900     6300 8400    timeout 900     7800 8700    done 200    390 2400   timeout 900    9400 6600    timeout 900    410 13000   error(returned 1, slicing) 430    320 5500   done 1 250   2600 3300
eca-programs/Problem101_label04.yml timeout 900   10000 6900 timeout 900   7200 6900 timeout 900     6300 10000    timeout 900     7700 8700    timeout 900    390 4500   timeout 900    9400 5800    timeout 900    410 14000   error(returned 1, slicing) 430    320 6100   done 1 250   2500 2800
eca-programs/Problem101_label05.yml timeout 900   9800 7000 timeout 900   7200 10000 timeout 900     6300 8000    timeout 900     7400 11000    timeout 900    390 6200   timeout 900    9400 6100    timeout 900    410 12000   error(returned 1, slicing) 430    320 5100   done 1 570   2600 7300
eca-programs/Problem101_label06.yml timeout 900   8900 7000 timeout 900   6700 7900 timeout 900     6300 9600    timeout 900     7400 10000    timeout 900    390 5300   timeout 900    9400 5800    timeout 900    410 12000   error(returned 1, slicing) 430    320 5400   done 1 400   2600 4500
eca-programs/Problem101_label07.yml timeout 900   11000 8300 timeout 900   8000 8800 timeout 900     6300 10000    timeout 900     7400 8200    done 180    390 2000   timeout 900    9400 6400    timeout 900    420 12000   error(returned 1, slicing) 430    320 5300   done 1 200   2600 2700
eca-programs/Problem101_label08.yml timeout 900   8400 8100 timeout 930   6800 11000 timeout 900     6300 11000    timeout 900     7400 8300    timeout 900    390 4100   timeout 900    9400 5000    timeout 900    410 13000   error(returned 1, slicing) 430    320 5200   done 1 410   2600 4800
eca-programs/Problem101_label09.yml timeout 900   8100 8100 timeout 900   6700 7400 timeout 900     6300 11000    timeout 900     7800 9600    timeout 900    390 3200   timeout 900    9400 5600    timeout 900    410 13000   error(returned 1, slicing) 420    320 5700   done 1 230   2500 3000
eca-programs/Problem101_label10.yml timeout 900   11000 8600 timeout 900   6800 9500 timeout 930     5200 8700    timeout 900     7400 8500    timeout 900    390 5100   timeout 900    9400 5700    timeout 900    410 12000   error(returned 1, slicing) 430    320 6700   done 1 360   2600 4000
eca-programs/Problem101_label11.yml timeout 900   10000 7800 timeout 900   6700 8200 timeout 900     6300 9100    timeout 900     7400 7900    timeout 900    390 4100   timeout 900    9400 6800    timeout 900    410 15000   error(returned 1, slicing) 430    320 6000   done 1 320   2600 4000
eca-programs/Problem101_label12.yml timeout 900   8900 8700 timeout 900   6500 8900 timeout 900     6300 11000    timeout 900     7800 12000    timeout 900    390 4600   timeout 900    9400 8600    timeout 900    410 13000   error(returned 1, slicing) 430    320 5200   done 1 250   2600 3100
eca-programs/Problem101_label13.yml timeout 900   11000 6800 timeout 900   7200 7500 timeout 900     6300 9400    timeout 900     7800 10000    timeout 900    390 6700   timeout 900    9400 5000    timeout 900    410 12000   error(returned 1, slicing) 430    320 5200   done 1 230   2600 2700
eca-programs/Problem101_label14.yml timeout 900   11000 7500 timeout 900   7300 8000 timeout 900     6300 8600    timeout 900     7400 9600    timeout 900    390 4500   timeout 900    9400 5700    timeout 900    410 14000   error(returned 1, slicing) 430    320 5700   done 1 400   2600 5300
eca-programs/Problem101_label15.yml timeout 900   12000 7100 timeout 900   7900 8800 timeout 900     6300 9500    timeout 900     7800 8800    timeout 900    390 5000   timeout 900    9300 6600    timeout 900    410 14000   error(returned 1, slicing) 430    320 6200   done 1 240   2500 3100
eca-programs/Problem101_label16.yml timeout 910   8600 7300 timeout 900   6600 7500 timeout 900     6300 9200    timeout 900     7800 9400    timeout 900    390 4700   timeout 900    9300 6100    timeout 900    410 14000   error(returned 1, slicing) 430    320 5900   done 1 370   2500 4800
eca-programs/Problem101_label17.yml timeout 900   9800 8700 timeout 900   6700 9400 timeout 900     6300 10000    timeout 900     7400 9000    timeout 900    390 4500   timeout 900    9400 6000    timeout 900    410 14000   error(returned 1, slicing) 430    320 4900   done 1 280   2500 2900
eca-programs/Problem101_label18.yml timeout 900   11000 8000 timeout 900   8900 9600 timeout 900     6300 8500    false(unreach-call) 840     6000 8100    timeout 900    390 6000   timeout 900    9400 6100    timeout 900    410 12000   error(returned 1, slicing) 430    320 5300   done 1 290   2600 3700
eca-programs/Problem101_label19.yml timeout 900   8500 8100 timeout 900   6700 7800 timeout 900     6300 8800    timeout 900     7400 8600    timeout 900    390 4100   timeout 900    9300 5800    timeout 900    420 13000   error(returned 1, slicing) 430    320 5700   done 1 230   2600 3200
eca-programs/Problem101_label20.yml timeout 900   9600 7100 timeout 900   7200 8100 timeout 900     6300 11000    timeout 900     7800 9700    timeout 900    390 4400   timeout 900    9400 5700    timeout 900    410 13000   error(returned 1, slicing) 420    320 5500   done 1 250   2600 2900
eca-programs/Problem101_label21.yml timeout 900   8300 7200 timeout 900   6800 7200 timeout 900     6300 7500    timeout 900     7400 8600    timeout 900    390 4700   timeout 900    9400 6400    timeout 900    420 15000   error(returned 1, slicing) 430    320 5400   done 1 320   2600 3800
eca-programs/Problem101_label22.yml timeout 900   8400 8900 timeout 900   6600 9400 timeout 900     6300 8900    timeout 900     7700 10000    timeout 900    390 6200   timeout 900    9400 5000    timeout 900    410 13000   error(returned 1, slicing) 420    320 5500   done 1 300   2500 4100
eca-programs/Problem101_label23.yml timeout 900   9700 6900 timeout 900   6700 8600 timeout 900     6300 9200    timeout 900     7800 8600    timeout 900    390 4300   timeout 900    9400 5800    timeout 900    410 13000   error(returned 1, slicing) 430    320 5700   done 1 260   2600 3200
eca-programs/Problem102_label01.yml timeout 910   12000 5600 timeout 900   12000 6400 out of memory 510     15000 5000    out of memory 460     15000 5000    timeout 900    760 6400   timeout 900    9500 8300    timeout 900    780 14000   timeout (before-instr) 900    610 11000   done 1 470   2500 5300
eca-programs/Problem102_label02.yml timeout 910   12000 5400 timeout 910   12000 7000 out of memory 500     15000 5900    out of memory 470     15000 4900    timeout 900    760 6500   timeout 900    9500 5200    timeout 900    780 13000   timeout (before-instr) 900    610 12000   done 1 780   2500 11000
eca-programs/Problem102_label04.yml timeout 910   12000 6400 timeout 900   12000 6300 out of memory 510     15000 4900    out of memory 460     15000 5400    timeout 900    760 7800   timeout 900    9500 5300    timeout 900    790 12000   timeout (before-instr) 900    610 12000   done 1 510   2500 6500
eca-programs/Problem102_label05.yml timeout 900   12000 5300 timeout 900   11000 6200 out of memory 510     15000 5900    out of memory 460     15000 5000    done 360    760 5300   timeout 900    9500 6100    timeout 900    780 13000   timeout (before-instr) 900    610 12000   done 1 510   2500 6800
eca-programs/Problem102_label06.yml timeout 910   12000 5100 timeout 900   12000 6400 out of memory 510     15000 5000    out of memory 470     15000 4800    done 360    760 4300   timeout 900    9500 5800    timeout 900    780 15000   timeout (before-instr) 900    610 11000   done 1 480   2500 6800
eca-programs/Problem102_label07.yml timeout 900   12000 5300 timeout 900   12000 7100 out of memory 500     15000 5700    out of memory 460     15000 5100    timeout 900    760 6800   timeout 900    9500 5200    timeout 900    780 14000   timeout (before-instr) 900    610 11000   done 1 440   2500 5100
eca-programs/Problem102_label10.yml timeout 910   12000 5200 timeout 900   12000 5300 out of memory 500     15000 5800    out of memory 450     15000 5900    done 370    760 4100   timeout 900    9500 5700    timeout 900    780 13000   timeout (before-instr) 900    610 9400   done 1 410   2500 4800
eca-programs/Problem102_label13.yml timeout 910   12000 5000 timeout 900   12000 7300 out of memory 500     15000 5500    out of memory 460     15000 5500    timeout 900    760 6800   timeout 900    9500 6500    timeout 900    780 11000   timeout (before-instr) 900    610 11000   done 1 440   2500 5200
eca-programs/Problem102_label15.yml timeout 910   12000 5200 timeout 900   12000 7400 out of memory 500     15000 5300    out of memory 470     15000 5000    timeout 900    760 6800   timeout 900    9500 5900    timeout 900    780 12000   timeout (before-instr) 900    610 14000   done 1 430   2500 5100
eca-programs/Problem102_label24.yml timeout 900   11000 5200 timeout 900   13000 5800 out of memory 500     15000 5900    out of memory 470     15000 5200    timeout 900    760 6600   timeout 900    9500 6700    timeout 900    780 13000   timeout (before-instr) 900    610 12000   done 1 680   2500 8900
eca-programs/Problem102_label25.yml timeout 910   11000 4600 timeout 900   13000 6900 out of memory 510     15000 5400    out of memory 460     15000 4700    timeout 900    760 9100   timeout 900    9500 5700    timeout 900    780 13000   timeout (before-instr) 900    610 12000   done 1 410   2500 4700
eca-programs/Problem102_label26.yml timeout 910   11000 4900 timeout 910   13000 6600 out of memory 510     15000 5800    out of memory 460     15000 4900    timeout 900    760 5900   timeout 900    9500 5900    timeout 900    780 12000   timeout (before-instr) 900    610 13000   done 1 470   2500 6200
eca-programs/Problem102_label28.yml timeout 910   11000 5300 timeout 900   12000 6800 out of memory 510     15000 5200    out of memory 460     15000 5300    timeout 900    760 6600   timeout 900    9500 5700    timeout 900    780 14000   timeout (before-instr) 900    610 13000   done 1 420   2500 5300
eca-programs/Problem102_label29.yml timeout 910   11000 6100 timeout 900   13000 6500 out of memory 500     15000 4900    out of memory 460     15000 4700    done 360    760 4700   timeout 900    9500 5200    timeout 900    780 13000   timeout (before-instr) 900    610 12000   done 1 450   2500 6100
eca-programs/Problem102_label34.yml timeout 910   11000 5200 timeout 900   13000 6200 out of memory 510     15000 5000    out of memory 460     15000 5600    done 370    760 4200   timeout 900    9500 5700    timeout 900    780 14000   timeout (before-instr) 900    610 14000   done 1 470   2500 6200
eca-programs/Problem102_label37.yml timeout 900   11000 5000 timeout 900   12000 7500 out of memory 500     15000 5000    out of memory 460     15000 4500    timeout 900    760 8300   timeout 900    9500 5900    timeout 900    780 12000   timeout (before-instr) 900    610 12000   done 1 530   2500 6500
eca-programs/Problem102_label43.yml timeout 910   12000 5900 timeout 900   11000 6300 out of memory 500     15000 4900    timeout 930     13000 10000    done 360    760 4000   timeout 900    9500 8700    timeout 900    780 13000   timeout (before-instr) 900    610 12000   done 1 460   2500 5600
eca-programs/Problem102_label46.yml timeout 910   12000 6200 timeout 910   12000 6500 out of memory 510     15000 5400    out of memory 450     15000 5300    timeout 900    760 6700   timeout 900    9500 6300    timeout 900    790 15000   timeout (before-instr) 900    610 10000   done 1 490   2500 5900
eca-programs/Problem102_label48.yml timeout 900   12000 5500 timeout 910   12000 7200 out of memory 500     15000 4600    out of memory 450     15000 5600    timeout 900    760 6300   timeout 900    9500 5400    timeout 900    790 13000   timeout (before-instr) 900    610 13000   done 1 440   2500 6200
eca-programs/Problem102_label49.yml timeout 910   12000 6000 timeout 900   12000 6400 out of memory 500     15000 5400    out of memory 450     15000 4200    timeout 900    760 6100   timeout 900    9500 5600    timeout 900    780 14000   timeout (before-instr) 900    610 13000   done 1 430   2500 5400
eca-programs/Problem102_label50.yml timeout 910   12000 5500 timeout 900   11000 7200 out of memory 500     15000 5000    out of memory 450     15000 5500    timeout 900    760 7900   timeout 900    9500 5700    timeout 900    780 13000   timeout (before-instr) 900    610 11000   done 1 410   2500 5200
eca-programs/Problem102_label51.yml timeout 910   12000 5200 timeout 900   11000 6400 out of memory 510     15000 5200    out of memory 450     15000 5600    timeout 900    760 5900   timeout 900    9500 5900    timeout 900    780 14000   timeout (before-instr) 900    610 13000   done 1 450   2500 4700
eca-programs/Problem102_label55.yml timeout 910   12000 5700 timeout 900   12000 6300 out of memory 500     15000 6600    out of memory 460     15000 5600    timeout 900    760 6600   timeout 900    9500 5900    timeout 900    780 14000   timeout (before-instr) 900    610 14000   done 1 440   2500 5300
eca-programs/Problem102_label59.yml timeout 910   11000 4500 timeout 900   13000 6400 out of memory 500     15000 5000    out of memory 460     15000 4800    done 370    760 4200   timeout 900    9500 7100    timeout 900    780 12000   timeout (before-instr) 900    610 11000   done 1 420   2500 4900
eca-programs/Problem103_label32.yml timeout 900   11000 5100 exception 840   11000 4700 out of memory 790     15000 10000    out of memory 530     15000 6500    done 160    760 1600   timeout 900    10000 5500    timeout 900    900 12000   timeout (before-instr) 900    650 12000   timeout 900   2800 11000
eca-programs/Problem103_label35.yml timeout 910   11000 4800 timeout 910   11000 5200 out of memory 810     15000 7100    out of memory 540     15000 5600    timeout 900    760 4600   timeout 900    10000 5500    timeout 900    900 15000   timeout (before-instr) 900    650 13000   timeout 900   2800 9300
eca-programs/Problem103_label41.yml timeout 900   11000 4600 timeout 900   11000 5400 out of memory 800     15000 8500    out of memory 540     15000 7200    timeout 900    760 4600   timeout 900    10000 5900    timeout 900    900 15000   timeout (before-instr) 900    650 12000   timeout 900   2800 11000
eca-programs/Problem103_label44.yml timeout 910   11000 4900 timeout 910   11000 5300 out of memory 820     15000 8100    out of memory 560     15000 5900    done 160    760 2200   timeout 900    10000 6500    timeout 900    900 15000   timeout (before-instr) 900    650 12000   timeout 900   2800 10000
eca-programs/Problem103_label46.yml timeout 910   11000 5000 timeout 900   11000 4600 out of memory 810     15000 7600    out of memory 540     15000 5100    timeout 900    760 4500   timeout 900    10000 6000    timeout 900    900 13000   timeout (before-instr) 900    650 13000   error 900   2800 10000
eca-programs/Problem103_label47.yml timeout 900   11000 4600 timeout 910   11000 5000 out of memory 810     15000 8600    out of memory 530     15000 5400    done 160    760 2000   timeout 900    10000 5300    timeout 900    900 14000   timeout (before-instr) 900    650 14000   timeout 900   2800 9300
eca-programs/Problem103_label51.yml timeout 910   11000 4800 timeout 910   11000 5300 out of memory 810     15000 7600    out of memory 530     15000 6600    timeout 900    760 4300   timeout 900    10000 5300    timeout 900    900 14000   timeout (before-instr) 900    650 12000   timeout 900   2800 11000
eca-programs/Problem103_label53.yml timeout 900   11000 4600 timeout 910   11000 4600 out of memory 800     15000 8800    out of memory 540     15000 6700    timeout 900    760 5700   timeout 900    10000 8500    timeout 900    900 12000   timeout (before-instr) 900    650 12000   timeout 900   2800 11000
eca-programs/Problem103_label54.yml timeout 900   11000 4500 timeout 910   11000 4700 out of memory 790     15000 8600    out of memory 540     15000 6200    timeout 900    760 4400   timeout 900    10000 8100    timeout 900    900 12000   timeout (before-instr) 900    650 11000   error 900   2800 10000
eca-programs/Problem103_label56.yml timeout 900   11000 4700 timeout 910   11000 4700 out of memory 820     15000 7700    out of memory 530     15000 6500    done 170    760 1800   timeout 900    10000 5600    timeout 900    900 13000   timeout (before-instr) 900    650 11000   timeout 900   2800 11000
eca-programs/Problem103_label57.yml timeout 910   11000 4400 timeout 900   11000 4900 out of memory 790     15000 8800    out of memory 550     15000 6000    timeout 900    760 4200   timeout 900    10000 8200    timeout 900    900 13000   timeout (before-instr) 900    650 11000   timeout 900   2800 11000
eca-programs/Problem103_label59.yml timeout 910   11000 4800 timeout 900   11000 4400 out of memory 810     15000 10000    out of memory 560     15000 5900    done 170    760 1800   timeout 900    10000 5100    timeout 900    900 15000   timeout (before-instr) 900    650 11000   timeout 900   2800 11000
floats-cdfpl/newton_1_4.yml done 1 94   380 610 unknown 1 76   370 580 false(unreach-call) 25     92 310    false(unreach-call) 25     93 330    timeout 900    11 12000   done .11 21 1.3  unknown 1 .27 31 2.7 unknown .42 18 5.0 done 1 10   150 120
floats-cdfpl/newton_1_5.yml done 1 77   370 540 unknown 1 56   370 560 false(unreach-call) 33     92 400    false(unreach-call) 33     93 420    timeout 900    10 12000   done .11 21 1.4  unknown 1 .25 31 3.0 unknown .44 18 4.6 done 1 7.3 150 71
floats-cdfpl/newton_1_6.yml done 1 64   370 630 unknown 1 45   370 340 false(unreach-call) 41     94 570    false(unreach-call) 41     92 530    timeout 900    10 12000   done .12 21 1.0  unknown 1 .24 31 3.5 unknown .42 19 5.2 done 1 7.9 150 79
floats-cdfpl/newton_1_7.yml done 1 41   370 330 unknown 1 22   380 180 false(unreach-call) 8.8   93 120    false(unreach-call) 8.9   92 110    timeout 900    10 10000   done .13 21 1.4  unknown 1 .27 30 4.7 unknown .44 18 5.2 done 1 6.9 150 89
floats-cdfpl/newton_1_8.yml done 1 36   380 290 unknown 1 16   360 120 false(unreach-call) 39     92 490    false(unreach-call) 39     93 500    timeout 900    10 12000   done .12 21 2.0  unknown 1 .26 31 3.0 unknown .43 18 4.9 done 1 6.9 150 83
floats-cdfpl/newton_2_6.yml done 1 160   480 1100 unknown 1 130   470 970 false(unreach-call) 130     190 1700    false(unreach-call) 130     190 1900    timeout 900    10 14000   done .15 21 1.0  unknown 1 .24 30 3.2 unknown .42 18 5.5 done 1 42   150 370
floats-cdfpl/newton_2_7.yml done 1 100   480 760 unknown 1 84   460 600 false(unreach-call) 130     190 1500    false(unreach-call) 120     190 1400    timeout 900    10 13000   done .12 21 1.2  unknown 1 .24 31 3.5 unknown .45 19 5.2 done 1 26   150 270
floats-cdfpl/newton_2_8.yml done 1 62   470 600 unknown 1 43   460 360 false(unreach-call) 60     190 830    false(unreach-call) 60     190 770    timeout 1 900    11 12000   done .12 21 1.4  unknown 1 .26 31 2.8 unknown .43 18 5.0 done 1 19   150 190
floats-cdfpl/newton_3_6.yml done 1 310   600 2300 unknown 1 290   570 2500 false(unreach-call) 100     290 1200    false(unreach-call) 100     290 1200    timeout 900    10 14000   done .12 21 1.2  unknown 1 .27 31 3.2 unknown .43 19 5.3 done 1 320   220 3900
floats-cdfpl/newton_3_7.yml done 1 220   600 1900 unknown 1 200   570 1300 false(unreach-call) 120     280 1400    false(unreach-call) 120     280 1400    timeout 900    10 14000   done .13 21 1.1  unknown 1 .26 31 3.2 unknown .44 18 6.3 done 1 74   230 940
floats-cdfpl/newton_3_8.yml done 1 190   600 1300 unknown 1 160   570 1400 false(unreach-call) 130     300 1600    false(unreach-call) 130     300 1600    timeout 900    10 12000   done .12 21 1.4  unknown 1 .26 31 5.0 unknown .43 19 6.1 done 1 36   200 360
floats-cdfpl/sine_1.yml done 1 29   340 290 unknown 1 8.7 330 91 false(unreach-call) 20     65 230    false(unreach-call) 20     65 240    timeout 1 900    10 12000   done .14 21 1.1  unknown 1 .25 30 3.1 unknown .42 19 5.0 done 1 5.2 150 51
floats-cdfpl/sine_2.yml done 1 66   350 590 unknown 1 44   360 360 false(unreach-call) 20     63 270    false(unreach-call) 20     64 260    timeout 1 900    10 13000   done .12 21 1.8  unknown 1 .28 31 3.1 unknown .41 19 4.5 done 1 4.6 150 59
floats-cdfpl/sine_3.yml done 1 300   450 2800 unknown 1 280   440 2700 false(unreach-call) 19     64 260    false(unreach-call) 19     64 250    timeout 900    10 11000   done .14 21 1.2  unknown 1 .25 31 2.5 unknown .41 19 5.1 done 1 5.6 150 63
floats-cdfpl/square_1.yml done 1 37   1500 400 unknown 1 18   350 150 false(unreach-call) 4.7   57 60    false(unreach-call) 4.7   54 59    timeout 900    10 13000   done .13 21 1.1  unknown 1 .31 31 3.3 unknown .41 19 5.5 done 1 9.6 150 120
floats-cdfpl/square_2.yml done 1 200   1600 2100 unknown 1 180   510 1500 false(unreach-call) 6.8   55 85    false(unreach-call) 6.8   60 81    timeout 900    11 11000   done .12 21 1.1  unknown 1 1.3  31 15   unknown .40 19 4.5 done 1 22   150 250
floats-cdfpl/square_3.yml done 1 82   1500 750 unknown 1 61   360 440 false(unreach-call) 7.5   55 99    false(unreach-call) 7.5   54 92    timeout 900    10 13000   done .14 21 .98 unknown 1 8.0  31 91   unknown .39 18 4.9 done 1 12   150 170
float-benchs/cast_float_ptr.yml done 3.4 270 33 unknown 2.8 270 27 false(unreach-call) 1 .11  26 1.0  false(unreach-call) 1 .10  26 1.2  false(unreach-call) 1 13    15 60   done .13 21 1.5  unknown .25 31 3.6 unknown .39 19 4.9 done 1 3.8 150 43
float-benchs/cast_union_loose.yml done 3.7 280 40 unknown 3.2 280 29 false(unreach-call) 1 .15  26 1.9  false(unreach-call) 1 .15  26 1.8  timeout 1 900    11 14000   done .13 21 1.4  unknown 1 3.3  31 40   unknown .45 19 5.7 done 1 3.7 150 39
float-benchs/cast_union_tight.yml done 3.8 270 40 unknown 3.2 290 30 false(unreach-call) 1 .17  27 1.7  false(unreach-call) 1 .16  27 1.5  false(unreach-call) 1 9.4  16 27   done .13 21 1.2  unknown 1 .25 30 3.1 unknown .41 18 5.8 done 1 3.6 150 30
float-benchs/float_int_inv_square.yml done 1 3.6 280 35 unknown 1 2.9 280 28 false(unreach-call) 1 .36  28 4.4  false(unreach-call) 1 .36  28 4.9  timeout 1 900    11 11000   done .16 21 1.4  timeout 900    31 9900   done 1 .54 21 7.4 done 1 3.7 150 39
float-benchs/inv_Newton-2.yml done 6.1 350 63 unknown 3.0 270 30 timeout 900     300 12000    timeout 900     300 10000    couldn't run: all seeds time out or crash 3.1  11 42   done .11 21 2.3  unknown .25 31 3.0 unknown .44 19 5.7 done 1 5.0 150 55
float-benchs/inv_Newton.c.p+cfa-reducer.yml done 1 6.8 350 74 unknown 4.4 350 47 done 470     530 4100    timeout 900     1300 8700    done 16    15 56   done .11 21 1.3  unknown .27 31 3.2 unknown .41 18 5.1 done 1 4.5 150 47
float-benchs/inv_square-1.yml done 1 3.4 270 34 unknown 1 3.0 280 31 false(unreach-call) .30  28 3.9  false(unreach-call) .33  28 4.4  false(unreach-call) 740    11 9200   done .13 21 1.3  unknown 1 .26 31 2.6 unknown .41 18 5.8 timeout 900   150 11000
float-benchs/nan_double.yml done 3.4 270 31 unknown 2.8 270 23 false(unreach-call) 1 .085 26 1.1  false(unreach-call) 1 .082 26 .95 false(unreach-call) 1 20    16 120   done .13 21 1.1  unknown .25 31 3.5 unknown .36 18 5.0 done 1 3.4 150 36
float-benchs/nan_float.yml done 3.2 260 31 unknown 3.1 280 31 false(unreach-call) 1 .088 26 .98 false(unreach-call) 1 .085 26 1.0  false(unreach-call) 1 19    16 89   done .12 21 2.4  unknown 1 .26 31 2.9 unknown .36 18 4.6 done 1 3.6 150 36
float-benchs/sin_interpolated_index-1.yml done 1 25   570 220 unknown 1 4.8 360 44 false(unreach-call) 9.1   100 110    false(unreach-call) 9.1   100 110    done 890    10 11000   done .12 21 1.4  timeout 900    31 12000   unknown .51 18 5.5 done 1 6.9 280 82
float-benchs/sqrt_poly2.yml done 1 15   440 120 unknown 1 11   430 100 false(unreach-call) 58     150 580    false(unreach-call) 58     150 800    couldn't run: all seeds time out or crash 3.1  11 48   done .14 21 1.2  unknown .24 31 3.6 unknown .46 18 7.5 done 1 4.0 150 44
float-newlib/double_req_bl_0870a.yml exception 6.9 460 63 unknown 5.4 360 47 false(unreach-call) .24  40 2.6  false(unreach-call) .25  40 3.0  false(unreach-call) 1 44    17 110   done .15 21 1.6  timeout 900    31 13000   unknown 1.4  20 19   done 1 590   170 7600
float-newlib/float_req_bl_0870a.yml done 1 350   2700 3200 unknown 4.9 300 42 false(unreach-call) .20  32 2.4  false(unreach-call) .20  32 2.1  done 11    15 41   done .15 21 1.4  unknown 1 350    31 5300   unknown 1.3  19 18   done 1 130   170 1700
loop-floats-scientific-comp/loop1-2.yml done 1 4.2 300 40 unknown 1 3.5 300 36 false(unreach-call) 1.6   46 18    false(unreach-call) 1.6   46 22    false(unreach-call) 1 70    18 340   timeout 900    75 11000    unknown 1 680    47 9800   timeout (verification) 900    61 9500   done 1 3.4 150 40
loop-floats-scientific-comp/loop2-1.yml done 1 4.6 300 51 unknown 1 3.7 300 37 false(unreach-call) 1.3   42 17    false(unreach-call) 1.3   42 16    couldn't run: all seeds time out or crash 3.1  10 42   done .13 21 1.2  unknown 1 710    42 11000   unknown .49 19 6.1 done 3.7 150 38
ldv-regression/fo_test.yml done 1 4.4 280 38 unknown 1 3.4 270 33 false(unreach-call) .092 27 1.1  false(unreach-call) .12  27 .94 false(unreach-call) 1 2.8  17 56   false(unreach-call) 1 .12 21 1.2  unknown 1 .25 31 3.4 done 1 .59 19 6.5 done 1 4.9 170 46
ldv-regression/rule60_list2.c_1.yml done 1 4.8 280 41 unknown 1 3.8 270 32 false(unreach-call) .14  27 1.4  false(unreach-call) .16  27 2.4  false(unreach-call) 1 16    15 62   false(unreach-call) 1 .13 21 1.3  timeout 900    31 12000   done 1 .67 18 10   done 1 4.8 170 53
ldv-regression/test21-2.yml done 1 3.4 270 31 unknown 1 3.1 270 29 false(unreach-call) .10  26 1.2  false(unreach-call) .13  26 1.1  false(unreach-call) 1 25    17 79   false(unreach-call) 1 .11 21 1.3  unknown 1 .24 31 2.9 done 1 .79 19 11   done 1 3.5 150 33
ldv-regression/test22-2.yml done 1 23   1200 270 unknown 1 3.2 270 33 false(unreach-call) .11  26 1.3  false(unreach-call) .11  26 1.2  false(unreach-call) 1 10    15 31   false(unreach-call) 1 .12 21 1.5  unknown 9.9  31 140   done .98 20 14   done 1 6.5 150 72
ldv-regression/test23-1.yml done 1 31   1500 370 unknown 1 11   290 120 false(unreach-call) 2.3   32 33    false(unreach-call) 1.4   32 21    false(unreach-call) 1 26    17 120   false(unreach-call) 1 .25 23 2.9  unknown 1 580    31 7800   done 1 1.3  27 14   done 1 3.6 150 36
ldv-regression/test24-2.yml done 1 5.2 290 51 unknown 1 6.4 300 58 error (1) .51  37 7.0  error (1) .33  33 3.9  false(unreach-call) 1 21    13 63   false(unreach-call) 1 .15 23 1.7  timeout 900    31 12000   done 1 .60 23 8.0 done 1 4.2 150 48
ldv-regression/test25-1.yml done 1 32   1800 370 unknown 1 12   300 140 error (1) .36  32 4.7  error (1) .24  29 2.5  false(unreach-call) 1 21    14 60   false(unreach-call) 1 .28 23 2.8  timeout 900    31 10000   done 1 .62 23 7.2 done 1 4.0 150 40
ldv-regression/test28-1.yml done 1 3.5 270 27 unknown 1 2.9 270 27 false(unreach-call) 1 .10  26 1.1  false(unreach-call) 1 .10  26 1.1  done 1 13    17 100   false(unreach-call) 1 .11 21 1.2  unknown 1 710    31 10000   done 1 .63 19 8.7 timeout 900   150 12000
ldv-regression/test29-1.yml done 1 23   720 200 unknown 1 2.8 270 28 false(unreach-call) .11  26 1.2  false(unreach-call) .11  26 1.2  false(unreach-call) 1 7.9  14 35   false(unreach-call) 1 .11 21 1.3  unknown 1 690    31 9600   done 1 .50 19 7.5 done 1 3.7 150 36
loops/array-2.yml done 1 23   1600 280 unknown 1 3.0 270 27 false(unreach-call) 1 .092 26 1.2  false(unreach-call) 1 .11  26 .99 false(unreach-call) 1 17    16 61   false(unreach-call) 1 .12 21 1.3  unknown 1 .27 31 3.5 done 1 .51 19 6.2 done 1 3.5 150 33
loops/compact.yml timeout 900   2900 6200 timeout 900   2500 6000 timeout 900     12000 9700    timeout 900     11000 11000    timeout 1 900    63 12000   timeout 900    2800 11000    timeout 900    35 12000   timeout (verification) 900    320 10000   done 1 4.0 150 41
loops/count_up_down-2.yml done 1 3.3 260 30 unknown 1 3.1 270 30 false(unreach-call) 1 .085 26 1.1  false(unreach-call) 1 .090 26 .95 couldn't run: all seeds time out or crash .13 10 1.5 false(unreach-call) 1 .12 21 1.2  unknown 1 7.6  30 110   done 1 .45 16 5.7 done 1 5.4 150 54
loops/eureka_01-1.yml timeout 900   5100 13000 unknown 5.6 300 62 false(unreach-call) 1 .18  27 2.2  false(unreach-call) 1 .18  27 2.0  false(unreach-call) 1 60    19 170   false(unreach-call) 1 .13 21 1.6  timeout 900    31 13000   done 1 1.0  19 16   done 1 4.4 150 51
loops/for_bounded_loop1.yml done 1 3.9 270 40 unknown 1 3.1 270 31 false(unreach-call) 1 .12  26 1.2  false(unreach-call) 1 .12  26 .85 false(unreach-call) 1 110    19 340   false(unreach-call) 1 .14 21 1.2  unknown 1 140    31 2200   done 1 .58 19 6.8 done 1 3.4 150 29
loops/insertion_sort-1.yml done 1 320   3900 4000 unknown 3.1 270 31 false(unreach-call) .81  28 9.7  false(unreach-call) 1 .63  28 7.7  false(unreach-call) 1 35    16 440   false(valid-deref) .12 21 1.4  error (0) .26 31 4.0 timeout (verification) 900    1500 11000   done 1 3.6 150 41
loops/invert_string-1.yml timeout 900   5300 13000 unknown 3.1 270 30 false(unreach-call) 1 .099 26 1.0  false(unreach-call) 1 .10  26 1.0  couldn't run: all seeds time out or crash 2.2  11 28   false(unreach-call) 1 .13 21 1.4  error (0) .25 31 3.0 done 1 .90 20 11   done 1 3.4 150 34
loops/linear_search.yml timeout 900   1500 11000 unknown 3.1 270 30 done .13  27 2.2  false(unreach-call) .32  27 4.4  false(unreach-call) 1 30    19 130   done .17 21 1.6  error (0) .19 31 2.9 done 1 3.8  21 48   done 1 3.7 150 41
loops/matrix-2.yml done 1 25   880 200 unknown 1 3.3 270 30 false(unreach-call) 1 .15  26 1.6  false(unreach-call) 1 .14  26 1.7  timeout 1 900    180 13000   false(valid-deref) 1 39    120 590    error (0) .26 31 4.3 done 1 12    30 170   done 1 12   150 130
loops/nec20.yml done 1 3.6 270 35 unknown 1 3.0 270 26 false(unreach-call) .088 26 .90 false(unreach-call) .089 26 .93 false(unreach-call) 1 8.7  16 30   false(unreach-call) 1 .14 21 1.2  unknown 1 .51 31 6.1 done 1 .56 19 7.1 done 1 3.8 150 37
loops/string-2.yml done 1 4.6 280 44 unknown 1 4.3 290 41 error (1) .098 26 1.0  error (1) .085 26 .96 false(unreach-call) 1 45    16 220   false(unreach-call) 1 .15 21 .84 timeout 900    30 13000   done 1 .78 19 9.1 done 1 4.0 150 41
loops/sum01-1.yml done 1 24   850 190 unknown 1 4.7 280 37 false(unreach-call) 1 .15  26 1.8  false(unreach-call) 1 .13  26 1.5  false(unreach-call) 1 22    18 53   false(unreach-call) 1 .14 21 1.1  unknown 1 11    31 140   done 1 .72 20 9.5 done 1 6.7 160 69
loops/sum01_bug02.yml done 1 24   860 190 unknown 1 4.0 280 34 done .11  26 1.0  false(unreach-call) 1 .11  26 1.1  false(unreach-call) 1 560    11 7700   false(unreach-call) 1 .13 21 1.2  unknown 1 9.6  31 130   done 1 .66 20 8.9 done 1 8.9 150 98
loops/sum01_bug02_sum01_bug02_base.case.yml done 1 9.3 450 83 unknown 1 3.5 280 29 false(unreach-call) 1 .14  26 1.9  false(unreach-call) 1 .096 26 1.1  false(unreach-call) 1 770    10 11000   false(unreach-call) 1 .12 21 1.3  unknown 1 11    31 180   done 1 .61 20 8.4 done 1 9.4 150 79
loops/sum03-1.yml done 1 4.9 280 40 unknown 1 4.6 290 39 false(unreach-call) .13  26 1.5  false(unreach-call) .089 26 1.0  couldn't run: all seeds time out or crash .16 10 1.5 false(unreach-call) 1 .13 21 1.1  unknown 1 .27 31 3.1 done 1 .51 16 6.1 done 1 3.4 150 34
loops/sum_array-1.yml done 1 23   820 220 unknown 1 3.4 270 34 false(unreach-call) 1 .11  26 1.3  false(unreach-call) 1 .11  26 1.4  false(unreach-call) 1 710    150 9300   false(valid-deref) 1 .14 21 1.5  error (0) .26 31 3.0 done 1 .75 19 9.3 done 1 10   150 130
loops/terminator_01.yml done 1 3.4 260 29 unknown 1 2.8 260 30 false(unreach-call) 1 .087 26 .95 false(unreach-call) 1 .13  26 .84 couldn't run: all seeds time out or crash .15 11 1.3 false(unreach-call) 1 .13 22 1.3  unknown 1 3.7  31 53   done 1 .44 17 6.5 done 1 3.4 150 35
loops/terminator_02-1.yml done 1 3.4 260 31 unknown 1 2.9 260 24 false(unreach-call) .085 26 .66 false(unreach-call) .11  26 .68 couldn't run: all seeds time out or crash .13 10 1.6 false(unreach-call) 1 .14 21 1.0  unknown 1 .29 31 3.3 done 1 .58 19 9.4 done 1 3.4 150 35
loops/terminator_03-1.yml done 1 23   1400 300 unknown 1 2.9 260 28 false(unreach-call) 1 .083 26 1.0  false(unreach-call) 1 .081 26 .85 false(unreach-call) 1 10    16 100   false(unreach-call) 1 .13 21 1.3  unknown 1 .24 31 3.5 done .49 19 7.2 done 1 3.3 150 31
loops/trex01-1.yml done 1 3.5 260 36 unknown 1 3.1 270 28 false(unreach-call) .086 26 .95 false(unreach-call) .090 26 .83 couldn't run: all seeds time out or crash 1.1  18 16   false(unreach-call) 1 .15 21 1.1  unknown 1 .28 31 2.9 done .64 19 8.7 done 1 3.6 150 40
loops/trex02-2.yml done 1 3.4 260 36 unknown 1 3.1 270 26 false(unreach-call) 1 .084 26 1.1  false(unreach-call) 1 .088 26 .99 timeout 1 900    41 11000   false(unreach-call) 1 .16 21 .98 unknown 1 .24 31 2.9 done 1 .56 19 6.4 done 1 24   150 290
loops/trex03-1.yml done 1 22   1500 240 unknown 1 2.9 270 27 false(unreach-call) .084 26 .92 false(unreach-call) .083 26 .92 timeout 1 900    69 10000   false(unreach-call) 1 .13 21 1.1  timeout 900    35 14000   done 1 .66 19 7.6 error 12   150 160
loops/vogal-2.yml done 1 72   900 700 unknown 1 48   500 590 false(unreach-call) 1 .41  34 5.7  false(unreach-call) 1 .31  34 3.8  false(unreach-call) 1 130    19 390   false(unreach-call) 1 .15 21 1.1  unknown 1 .25 30 3.3 done 1 .78 19 11   done 1 3.8 150 40
loop-acceleration/array_3-2.yml timeout 900   5700 12000 timeout 900   6500 13000 false(unreach-call) 1 16     370 240    false(unreach-call) 1 9.3   260 140    done 510    11 3200   false(unreach-call) 1 .93 21 14    unknown 1 .26 31 3.0 done 1 6.5  21 87   done 1 3.4 150 38
loop-acceleration/diamond_1-2.yml done 1 10   500 90 unknown 1 35   560 460 false(unreach-call) 1 .45  26 5.7  false(unreach-call) 1 .28  26 3.3  couldn't run: all seeds time out or crash .14 11 1.8 false(unreach-call) 1 .13 21 1.2  unknown 1 .26 31 4.1 done 1 .49 19 6.6 done 1 3.5 150 34
loop-acceleration/multivar_1-2.yml done 1 3.4 260 34 unknown 1 2.9 270 28 false(unreach-call) 1 .083 26 .83 false(unreach-call) 1 .089 26 1.0  couldn't run: all seeds time out or crash .14 11 1.5 false(unreach-call) 1 .12 21 1.1  unknown 1 .25 31 3.2 done 1 .46 16 5.7 done 1 3.4 150 34
loop-invgen/id_trans.yml done 1 3.8 270 40 unknown 1 3.0 270 31 false(unreach-call) 1 .10  26 1.0  false(unreach-call) 1 .095 26 1.1  false(unreach-call) 1 9.4  16 44   false(unreach-call) 1 .13 21 1.2  timeout 900    31 13000   done 1 .60 24 7.5 done 1 4.1 150 46
recursive/Ackermann02.yml out of memory 100   15000 930 error (recursion) 3.0 260 29 false(unreach-call) 1 .22  29 2.7  false(unreach-call) 1 .18  28 2.4  false(unreach-call) 1 110    20 660   false(unreach-call) 1 .12 21 1.4  timeout 900    30 15000   done 1 .58 19 7.6 done 1 3.5 150 38
recursive/Addition02.yml out of memory 100   15000 970 error (recursion) 2.9 260 22 false(unreach-call) 1 .13  26 2.2  false(unreach-call) 1 .13  26 1.5  false(unreach-call) 1 16    16 82   false(unreach-call) 1 .15 20 1.1  error (0) .24 31 3.4 done 1 .56 19 7.1 done 1 3.5 150 37
recursive/BallRajamani-SPIN2000-Fig1.yml out of memory 120   15000 1100 error (recursion) 2.9 260 25 false(unreach-call) 1 .11  26 .87 false(unreach-call) 1 .085 26 .85 false(unreach-call) 1 9.8  17 23   false(unreach-call) 1 .13 21 1.0  unknown 1 .23 30 3.3 done 1 .48 19 6.6 done 1 3.5 150 37
recursive/EvenOdd03.yml done 1 3.5 260 33 error (recursion) 2.8 260 26 false(unreach-call) 1 .089 26 .88 false(unreach-call) 1 .13  26 .85 timeout 1 900    10 12000   false(unreach-call) 1 .13 21 1.1  error (0) .27 31 3.2 done 1 .56 19 7.6 done 1 3.4 150 34
recursive/Fibonacci04.yml out of memory 200   15000 2200 error (recursion) 2.9 270 23 false(unreach-call) 1 .12  26 1.3  false(unreach-call) 1 .11  26 1.3  timeout 1 900    17 12000   false(unreach-call) 1 .16 21 1.0  error (0) .25 31 4.1 done 1 .68 19 9.0 done 1 3.4 150 39
recursive/Fibonacci05.yml out of memory 210   15000 2000 error (recursion) 3.0 270 26 false(unreach-call) 1 3.5   96 39    false(unreach-call) 1 3.3   95 41    timeout 1 900    17 11000   false(unreach-call) 1 .18 21 2.1  error (0) .27 31 2.8 done 1 .93 19 13   done 1 46   150 600
recursive/McCarthy91-1.yml done 1 3.6 270 32 error (recursion) 2.9 260 25 false(unreach-call) 1 .099 26 .72 false(unreach-call) 1 .085 26 .95 false(unreach-call) 1 810    19 11000   false(unreach-call) 1 .12 21 1.3  error (0) .25 31 3.1 done 1 .54 19 7.3 done 1 3.6 150 36
recursive-simple/id2_b3_o2.yml out of memory 34   15000 320 error (recursion) 2.9 270 30 false(unreach-call) 1 .087 26 .94 false(unreach-call) 1 .094 26 1.0  false(unreach-call) 1 67    17 550   false(unreach-call) 1 .13 21 1.1  error (0) .26 31 3.1 done 1 .56 19 6.9 done 1 3.2 150 37
recursive-simple/id_b3_o2-2.yml out of memory 35   15000 350 error (recursion) 2.9 260 25 false(unreach-call) 1 .087 26 .94 false(unreach-call) 1 .090 26 1.2  false(unreach-call) 1 70    17 410   false(unreach-call) 1 .12 21 1.3  error (0) .26 31 3.0 done 1 .53 19 6.2 done 1 3.7 150 37
recursive-simple/id_o10.yml out of memory 34   15000 360 error (recursion) 2.9 260 27 false(unreach-call) 1 .10  26 1.4  false(unreach-call) 1 .12  26 1.1  false(unreach-call) 1 19    18 100   false(unreach-call) 1 .15 21 .94 error (0) .26 31 3.0 done 1 .48 19 5.3 done 1 53   160 630
recursive-simple/id_o100.yml out of memory 35   15000 370 error (recursion) 2.8 260 26 false(unreach-call) 1 2.1   33 29    false(unreach-call) 1 1.0   27 12    false(unreach-call) 1 29    16 85   false(unreach-call) 1 .44 21 5.5  error (0) .26 31 3.0 done 1 .48 18 5.3 done 1 590   150 6200
recursive-simple/id_o1000.yml out of memory 35   15000 350 error (recursion) 2.8 260 25 timeout 900     1200 11000    false(unreach-call) 1 760     1000 9700    false(unreach-call) 1 29    17 75   false(unreach-call) 1 31    79 440    error (0) .25 30 3.0 done 1 .50 19 5.9 done 1 600   150 7300
recursive-simple/id_o20.yml out of memory 34   15000 400 error (recursion) 2.8 260 29 false(unreach-call) 1 .16  26 1.8  false(unreach-call) 1 .13  26 1.1  false(unreach-call) 1 28    17 78   false(unreach-call) 1 .13 21 1.4  error (0) .27 31 3.1 done 1 .49 19 8.0 done 1 53   150 720
recursive-simple/id_o200.yml out of memory 34   15000 340 error (recursion) 2.8 260 25 false(unreach-call) 1 12     84 150    false(unreach-call) 1 6.1   58 78    false(unreach-call) 1 28    17 72   false(unreach-call) 1 1.1  22 15    error (0) .26 30 3.2 done 1 .47 19 5.7 timeout 900   150 10000
recursive-simple/id_o3.yml out of memory 34   15000 320 error (recursion) 2.7 260 21 false(unreach-call) 1 .090 26 1.0  false(unreach-call) 1 .085 26 1.1  false(unreach-call) 1 27    18 96   false(unreach-call) 1 .12 21 1.1  error (0) .26 30 3.6 done 1 .47 18 5.8 done 1 3.3 150 33
recursive-simple/sum_non_eq-3.yml done 1 3.7 270 28 error (recursion) 2.7 260 27 false(unreach-call) 1 .087 26 .90 false(unreach-call) 1 .083 26 .90 couldn't run: all seeds time out or crash .14 10 1.9 false(unreach-call) 1 .12 21 1.3  error (0) .26 30 2.8 done 1 .49 16 5.7 done 1 3.3 150 30
seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.yml done 1 29   1100 220 unknown 1 5.0 300 44 false(unreach-call) .13  29 1.7  false(unreach-call) .12  29 1.5  couldn't run: all seeds time out or crash 3.2  10 49   false(unreach-call) 1 .16 21 2.2  timeout 900    31 14000   done 1 1.8  25 26   done 1 5.2 180 59
seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.UNBOUNDED.pals.yml done 1 25   870 190 unknown 1 4.9 310 44 false(unreach-call) .13  29 1.5  false(unreach-call) .12  29 1.7  couldn't run: all seeds time out or crash 3.2  11 41   false(unreach-call) 1 .18 21 2.1  timeout 900    31 12000   done 1 1.8  26 23   done 1 5.3 170 57
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.yml done 1 26   870 230 unknown 1 6.7 330 64 false(unreach-call) .20  29 4.5  false(unreach-call) .20  29 3.4  couldn't run: all seeds time out or crash 3.2  10 38   false(unreach-call) 1 .18 22 2.5  timeout 900    31 14000   done 1 1.8  25 22   done 1 5.0 170 51
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.yml done 1 25   890 200 unknown 1 6.2 320 53 false(unreach-call) .21  29 2.8  false(unreach-call) .19  29 2.5  couldn't run: all seeds time out or crash 3.2  10 37   false(unreach-call) 1 .30 23 3.3  timeout 900    31 12000   done 1 1.8  26 22   done 1 5.7 170 62
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml done 1 26   890 210 unknown 1 6.8 330 55 false(unreach-call) .20  29 2.8  false(unreach-call) .19  29 2.5  couldn't run: all seeds time out or crash 3.2  10 46   false(unreach-call) 1 .23 25 2.5  timeout 900    30 13000   done 1 1.8  25 27   done 1 4.9 170 50
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.yml done 1 31   1100 230 unknown 1 6.6 330 62 false(unreach-call) .20  29 2.3  false(unreach-call) .20  29 2.3  couldn't run: all seeds time out or crash 3.2  10 45   false(unreach-call) 1 .17 21 2.0  timeout 900    31 11000   done 1 1.8  26 22   done 1 5.1 170 49
seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml done 1 130   2200 1500 unknown 1 89   550 1100 false(unreach-call) .51  29 6.3  false(unreach-call) .34  29 3.8  couldn't run: all seeds time out or crash 3.2  10 37   false(unreach-call) 1 .84 41 9.3  timeout 900    31 14000   done 1 8.3  260 100   done 1 14   170 150
seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.UNBOUNDED.pals.yml done 1 42   1100 410 unknown 1 22   410 240 false(unreach-call) .48  29 6.1  false(unreach-call) .32  29 4.3  couldn't run: all seeds time out or crash 3.2  10 42   false(unreach-call) 1 8.8  170 120    timeout 900    31 11000   done 1 8.1  250 110   done 1 14   170 210
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml done 1 39   1200 340 unknown 1 24   860 240 false(unreach-call) .47  29 5.3  false(unreach-call) .29  29 3.6  couldn't run: all seeds time out or crash 3.2  11 37   false(unreach-call) 1 .37 40 4.3  timeout 900    31 13000   done 1 1.8  26 23   done 1 5.6 170 52
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.UNBOUNDED.pals.yml done 1 39   1300 350 unknown 1 23   880 250 false(unreach-call) .44  29 5.0  false(unreach-call) .30  29 3.2  couldn't run: all seeds time out or crash 3.2  11 38   false(unreach-call) 1 .37 39 4.6  timeout 900    30 12000   done 1 1.8  26 29   done 1 5.6 170 59
seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.BOUNDED-10.pals.yml done 1 43   1400 370 unknown 1 25   780 220 false(unreach-call) .40  29 5.3  false(unreach-call) .27  29 2.9  couldn't run: all seeds time out or crash 3.2  11 43   false(unreach-call) 1 1.1  67 15    timeout 900    31 11000   done 1 2.0  26 26   done 1 15   170 180
seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.yml done 1 40   1400 420 unknown 1 24   900 250 false(unreach-call) .40  29 4.9  false(unreach-call) .26  29 3.5  couldn't run: all seeds time out or crash 3.2  10 45   false(unreach-call) 1 .54 48 6.7  timeout 900    31 13000   done 1 2.0  26 25   done 1 12   170 130
seq-mthreaded/pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml done 1 27   1000 300 unknown 1 5.8 300 62 false(unreach-call) .51  30 5.6  false(unreach-call) .26  29 2.9  couldn't run: all seeds time out or crash 3.2  11 42   false(unreach-call) 1 .89 38 11    timeout 900    30 12000   done 2.5  27 32   done 1 4.7 170 43
seq-mthreaded/pals_floodmax.3.1.ufo.UNBOUNDED.pals.yml done 1 26   1000 290 unknown 1 5.6 300 52 false(unreach-call) .51  30 7.1  false(unreach-call) .24  29 2.9  couldn't run: all seeds time out or crash 3.2  10 44   false(unreach-call) 1 .87 38 10    timeout 900    31 12000   done 2.4  27 32   done 1 4.8 170 50
seq-mthreaded/pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml done 1 25   810 240 unknown 1 4.5 280 44 false(unreach-call) .21  29 2.1  false(unreach-call) .17  29 2.1  couldn't run: all seeds time out or crash 3.2  10 44   false(unreach-call) 1 .60 33 6.9  timeout 900    31 11000   done 4.6  22 59   done 1 4.9 170 53
seq-mthreaded/pals_floodmax.3.2.ufo.UNBOUNDED.pals.yml done 1 26   790 230 unknown 1 4.7 290 42 false(unreach-call) .20  29 2.1  false(unreach-call) .19  29 2.0  couldn't run: all seeds time out or crash 3.2  11 45   false(unreach-call) 1 .35 28 3.8  timeout 900    31 14000   done 6.4  22 89   done 1 4.8 170 47
seq-mthreaded/pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml done 1 27   1100 270 unknown 1 6.1 310 64 false(unreach-call) .54  30 8.0  false(unreach-call) .26  29 3.2  couldn't run: all seeds time out or crash 3.2  11 45   false(unreach-call) 1 .61 33 9.1  timeout 900    31 13000   done 5.0  23 73   done 1 4.9 170 57
seq-mthreaded/pals_floodmax.3.3.ufo.UNBOUNDED.pals.yml done 1 27   1300 250 unknown 1 6.1 300 61 false(unreach-call) .52  30 6.1  false(unreach-call) .26  29 3.4  couldn't run: all seeds time out or crash 3.2  10 41   false(unreach-call) 1 .36 29 4.1  timeout 900    30 13000   done 4.3  23 58   done 1 5.0 170 47
seq-mthreaded/pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml done 1 28   920 300 unknown 1 7.7 320 81 false(unreach-call) .53  30 6.7  false(unreach-call) .26  29 4.3  couldn't run: all seeds time out or crash 3.2  10 42   false(unreach-call) 1 .68 33 8.9  timeout 900    31 13000   done 29    27 390   done 1 5.2 170 48
seq-mthreaded/pals_floodmax.3.4.ufo.UNBOUNDED.pals.yml done 1 26   1100 290 unknown 1 6.5 300 71 false(unreach-call) .55  30 6.6  false(unreach-call) .26  29 3.8  couldn't run: all seeds time out or crash 3.2  11 41   false(unreach-call) 1 1.1  34 15    timeout 900    31 13000   done 29    27 410   done 1 4.9 170 52
seq-mthreaded/pals_floodmax.3_overflow.ufo.UNBOUNDED.pals.yml timeout 900   1500 8800 timeout 900   800 6100 timeout 900     3600 9600    timeout 900     2700 9200    couldn't run: all seeds time out or crash 3.2  11 40   false(unreach-call) 1 1.6  33 20    timeout 900    31 11000   done 200    110 3100   done 1 4.8 170 49
seq-mthreaded/pals_floodmax.4.1.ufo.BOUNDED-8.pals.yml done 1 62   890 550 unknown 1 40   430 290 false(unreach-call) 1.5   49 18    false(unreach-call) .74  45 8.8  couldn't run: all seeds time out or crash 3.2  11 45   timeout 900    3100 8800    timeout 900    31 14000   done 79    1700 960   done 1 5.5 190 58
seq-mthreaded/pals_floodmax.4.1.ufo.UNBOUNDED.pals.yml done 1 32   900 380 unknown 1 10   380 88 false(unreach-call) 1.5   50 18    false(unreach-call) .76  46 9.8  couldn't run: all seeds time out or crash 3.2  11 45   timeout 900    3300 8900    timeout 900    31 12000   done 90    1800 1100   done 1 5.6 190 52
seq-mthreaded/pals_floodmax.4.2.ufo.BOUNDED-8.pals.yml done 1 30   840 340 unknown 1 10   340 95 false(unreach-call) 1.2   52 19    false(unreach-call) .58  47 7.9  couldn't run: all seeds time out or crash 3.2  12 47   timeout 900    3100 9300    timeout 900    31 12000   done 21    160 280   done 1 5.7 190 64
seq-mthreaded/pals_floodmax.4.2.ufo.UNBOUNDED.pals.yml done 1 30   910 330 unknown 1 9.0 370 85 false(unreach-call) 1.3   53 17    false(unreach-call) .56  47 7.7  couldn't run: all seeds time out or crash 3.2  12 52   false(unreach-call) 1 .27 30 3.1  timeout 900    31 11000   done 20    160 320   done 1 5.6 190 60
seq-mthreaded/pals_floodmax.4.3.ufo.BOUNDED-8.pals.yml done 1 36   860 360 unknown 1 15   390 120 false(unreach-call) 1.6   53 22    false(unreach-call) .81  48 9.8  couldn't run: all seeds time out or crash 3.2  12 41   timeout 900    3100 8300    timeout 900    31 13000   done 35    280 440   done 1 5.5 190 54
seq-mthreaded/pals_floodmax.4.3.ufo.UNBOUNDED.pals.yml done 1 42   940 450 unknown 1 21   500 190 false(unreach-call) 1.6   52 22    false(unreach-call) .81  49 13    couldn't run: all seeds time out or crash 3.2  12 42   false(unreach-call) 1 .29 30 3.4  timeout 900    31 12000   done 34    270 450   done 1 5.6 190 58
seq-mthreaded/pals_floodmax.4.4.ufo.BOUNDED-8.pals.yml done 1 58   780 500 unknown 1 38   440 280 false(unreach-call) 1.9   53 23    false(unreach-call) 1.1   49 15    couldn't run: all seeds time out or crash 3.2  12 43   timeout 900    3100 11000    timeout 900    31 12000   done 91    650 1100   done 1 27   190 310
seq-mthreaded/pals_floodmax.4.4.ufo.UNBOUNDED.pals.yml done 1 85   850 700 unknown 1 63   530 460 false(unreach-call) 2.0   53 29    false(unreach-call) 1.1   49 14    couldn't run: all seeds time out or crash 3.3  12 42   false(unreach-call) 1 .26 31 3.8  timeout 900    31 13000   done 120    700 1500   done 1 31   190 430
seq-mthreaded/pals_floodmax.4_overflow.ufo.UNBOUNDED.pals.yml timeout 900   1600 8700 timeout 900   1200 5800 timeout 900     780 13000    timeout 900     580 11000    couldn't run: all seeds time out or crash 3.2  12 42   timeout 900    3100 9700    timeout 900    31 12000   timeout (verification) 900    1300 11000   done 1 5.5 190 65
seq-mthreaded/pals_floodmax.5.1.ufo.BOUNDED-10.pals.yml done 1 160   1300 1100 unknown 1 130   710 1100 false(unreach-call) 6.4   150 69    false(unreach-call) 3.4   150 53    couldn't run: all seeds time out or crash 3.2  12 44   timeout 900    15000 5600    timeout 900    34 13000   out of memory (killed (signal 9, verification)) 290    15000 3700   done 1 8.7 210 110
seq-mthreaded/pals_floodmax.5.1.ufo.UNBOUNDED.pals.yml done 1 190   1200 1500 unknown 1 170   740 1100 false(unreach-call) 6.4   150 66    false(unreach-call) 3.4   150 49    couldn't run: all seeds time out or crash 3.2  12 49   false(unreach-call) 1 19    940 180    timeout 900    34 13000   out of memory (killed (signal 9, verification)) 290    15000 3700   done 1 8.8 220 99
seq-mthreaded/pals_floodmax.5.2.ufo.BOUNDED-10.pals.yml done 1 41   880 440 unknown 1 20   440 180 false(unreach-call) 5.6   160 77    false(unreach-call) 2.8   160 31    couldn't run: all seeds time out or crash 3.4  21 41   timeout 900    15000 6300    timeout 900    35 12000   out of memory (killed (signal 9, verification)) 76    15000 1000   done 1 8.8 220 97
seq-mthreaded/pals_floodmax.5.2.ufo.UNBOUNDED.pals.yml done 1 39   1100 400 unknown 1 18   450 160 false(unreach-call) 5.7   160 66    false(unreach-call) 2.8   160 33    couldn't run: all seeds time out or crash 3.4  21 48   false(unreach-call) 1 160    5700 1500    timeout 900    35 12000   out of memory (killed (signal 9, verification)) 77    15000 1100   done 1 8.9 230 87
seq-mthreaded/pals_floodmax.5.3.ufo.BOUNDED-10.pals.yml done 1 70   1100 620 unknown 1 50   560 480 false(unreach-call) 7.0   160 87    false(unreach-call) 3.6   160 52    couldn't run: all seeds time out or crash 3.4  21 43   false(unreach-call) 1 180    6000 1300    timeout 900    35 13000   out of memory (killed (signal 9, verification)) 75    15000 900   done 1 8.8 230 96
seq-mthreaded/pals_floodmax.5.3.ufo.UNBOUNDED.pals.yml done 1 160   1200 1200 unknown 1 140   680 1300 false(unreach-call) 7.1   160 89    false(unreach-call) 3.6   160 47    couldn't run: all seeds time out or crash 3.4  21 48   false(unreach-call) 1 160    5600 1300    timeout 900    34 11000   out of memory (killed (signal 9, verification)) 77    15000 980   done 1 8.9 220 97
seq-mthreaded/pals_floodmax.5.4.ufo.BOUNDED-10.pals.yml timeout 900   1500 5300 timeout 900   950 5700 false(unreach-call) 7.0   160 76    false(unreach-call) 3.6   160 43    couldn't run: all seeds time out or crash 3.4  20 44   timeout 900    15000 5400    timeout 900    35 10000   out of memory (killed (signal 9, verification)) 75    15000 950   done 1 300   230 4300
seq-mthreaded/pals_floodmax.5.4.ufo.UNBOUNDED.pals.yml timeout 900   1500 5700 timeout 900   1100 5900 false(unreach-call) 7.2   160 81    false(unreach-call) 3.7   160 44    couldn't run: all seeds time out or crash 3.4  21 44   timeout 900    15000 5300    timeout 900    35 12000   out of memory (killed (signal 9, verification)) 77    15000 980   done 1 420   220 5900
seq-mthreaded/pals_floodmax.5_overflow.ufo.UNBOUNDED.pals.yml timeout 900   1700 5800 timeout 900   1000 8200 timeout 900     220 12000    timeout 900     220 11000    couldn't run: all seeds time out or crash 3.4  21 49   timeout 900    15000 4200    timeout 900    35 11000   out of memory (killed (signal 9, verification)) 77    15000 1000   done 1 9.0 230 90
seq-mthreaded/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.yml done 1 35   1100 330 unknown 1 15   340 150 false(unreach-call) .38  28 4.8  false(unreach-call) .25  28 3.0  couldn't run: all seeds time out or crash 3.2  11 43   false(unreach-call) 1 .20 21 2.5  timeout 900    31 12000   done 1 1.6  20 24   done 1 4.5 170 44
seq-mthreaded/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.yml done 1 30   850 250 unknown 1 9.7 380 110 false(unreach-call) .38  28 4.8  false(unreach-call) .27  28 4.1  couldn't run: all seeds time out or crash 3.2  11 41   false(unreach-call) 1 .20 20 2.2  timeout 900    31 12000   done 1 1.6  20 22   done 1 27   160 380
seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.yml timeout 900   2000 14000 timeout 900   1000 12000 false(unreach-call) .37  27 4.8  false(unreach-call) .27  27 2.6  couldn't run: all seeds time out or crash 3.2  10 43   false(unreach-call) 1 .17 21 1.6  timeout 900    31 12000   done 1 1.4  20 20   done 1 4.3 170 44
seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.yml done 1 41   1100 420 unknown 1 21   440 250 false(unreach-call) .41  27 5.3  false(unreach-call) .29  27 3.8  couldn't run: all seeds time out or crash 3.2  10 43   false(unreach-call) 1 .17 21 1.8  timeout 900    30 14000   done 1 1.5  20 21   done 1 4.6 160 54
seq-mthreaded/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.yml timeout 900   4800 11000 timeout 900   480 10000 false(unreach-call) .69  28 7.9  false(unreach-call) .45  28 6.1  couldn't run: all seeds time out or crash 3.2  11 44   false(unreach-call) 1 .42 23 5.7  timeout 900    31 13000   done 1 2.4  22 29   done 1 6.8 170 75
seq-mthreaded/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.yml timeout 900   2000 11000 timeout 900   970 13000 false(unreach-call) .70  28 10    false(unreach-call) .47  28 6.9  couldn't run: all seeds time out or crash 3.2  10 47   false(unreach-call) 1 .50 23 6.1  timeout 900    31 11000   done 1 2.5  23 36   done 1 4.8 170 43
seq-mthreaded/pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.yml timeout 900   2100 9800 timeout 900   760 9400 false(unreach-call) .97  29 15    false(unreach-call) .73  28 8.9  couldn't run: all seeds time out or crash 3.2  10 42   false(unreach-call) 1 .23 23 2.3  timeout 900    30 13000   done 1 1.9  21 29   done 1 4.6 170 49
seq-mthreaded/pals_lcr-var-start-time.4.2.ufo.UNBOUNDED.pals.yml timeout 900   2000 12000 timeout 900   860 13000 false(unreach-call) .76  28 10    false(unreach-call) .47  28 5.8  couldn't run: all seeds time out or crash 3.2  11 37   false(unreach-call) 1 .37 23 4.4  timeout 900    31 12000   done 1 2.0  21 26   done 1 4.7 170 47
seq-mthreaded/pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.yml timeout 900   4900 11000 timeout 930   740 13000 false(unreach-call) 1.5   32 18    false(unreach-call) 1.1   31 16    couldn't run: all seeds time out or crash 3.2  11 47   false(unreach-call) 1 .98 32 12    timeout 900    30 12000   done 1 4.6  28 63   done 1 5.0 170 49
seq-mthreaded/pals_lcr-var-start-time.5.1.ufo.UNBOUNDED.pals.yml timeout 900   3200 14000 timeout 900   500 13000 false(unreach-call) 1.6   33 21    false(unreach-call) 1.3   32 17    couldn't run: all seeds time out or crash 3.2  10 42   false(unreach-call) 1 1.9  33 45    timeout 900    31 11000   done 1 4.8  29 61   done 1 4.9 170 47
seq-mthreaded/pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.yml timeout 900   4500 12000 timeout 900   710 14000 false(unreach-call) 1.4   31 18    false(unreach-call) 1.0   30 13    couldn't run: all seeds time out or crash 3.2  10 42   false(unreach-call) 1 .46 29 8.5  timeout 900    31 13000   done 1 2.8  24 40   done 1 4.9 170 47
seq-mthreaded/pals_lcr-var-start-time.5.2.ufo.UNBOUNDED.pals.yml timeout 900   1600 14000 timeout 900   930 12000 false(unreach-call) 1.5   32 19    false(unreach-call) 1.2   31 14    couldn't run: all seeds time out or crash 3.2  10 40   false(unreach-call) 1 .48 29 5.4  timeout 900    30 12000   done 1 2.9  24 47   done 1 4.7 180 54
seq-mthreaded/pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.yml timeout 900   1300 14000 timeout 900   1100 11000 false(unreach-call) 3.8   40 57    false(unreach-call) 3.2   38 47    couldn't run: all seeds time out or crash 3.2  10 50   false(unreach-call) 1 4.1  70 65    timeout 900    31 10000   done 1 10    49 130   done 1 4.9 180 48
seq-mthreaded/pals_lcr-var-start-time.6.1.ufo.UNBOUNDED.pals.yml timeout 900   1200 12000 timeout 900   750 14000 false(unreach-call) 3.3   41 49    false(unreach-call) 2.6   38 34    couldn't run: all seeds time out or crash 3.2  10 46   false(unreach-call) 1 11    76 130    timeout 900    31 12000   done 1 11    52 170   done 1 5.2 180 53
seq-mthreaded/pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.yml timeout 900   2900 11000 timeout 900   2400 12000 false(unreach-call) 4.5   39 52    false(unreach-call) 3.9   37 53    couldn't run: all seeds time out or crash 3.2  10 48   false(unreach-call) 1 .65 47 8.0  timeout 900    31 13000   done 1 4.6  32 67   done 1 4.7 180 48
seq-mthreaded/pals_lcr-var-start-time.6.2.ufo.UNBOUNDED.pals.yml timeout 900   1400 12000 timeout 900   1000 12000 false(unreach-call) 3.7   40 54    false(unreach-call) 3.1   38 46    couldn't run: all seeds time out or crash 3.2  11 51   false(unreach-call) 1 4.7  72 62    timeout 900    31 12000   done 1 4.7  32 69   done 1 5.0 180 47
seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.yml done 1 26   850 230 unknown 1 6.2 300 55 false(unreach-call) .29  27 3.4  false(unreach-call) .18  27 2.3  couldn't run: all seeds time out or crash 3.2  11 49   false(unreach-call) 1 .23 21 2.0  timeout 900    31 9300   done 1 1.5  20 21   done 1 4.2 160 40
seq-mthreaded/pals_lcr.3.1.ufo.UNBOUNDED.pals.yml done 1 230   4000 2800 unknown 1 170   750 2100 false(unreach-call) .30  27 3.4  false(unreach-call) .20  27 2.5  couldn't run: all seeds time out or crash 3.2  10 44   false(unreach-call) 1 .18 21 2.4  timeout 900    31 12000   done 1 1.4  20 22   done 1 4.2 160 39
seq-mthreaded/pals_lcr.3_overflow.ufo.UNBOUNDED.pals.yml timeout 900   1800 12000 timeout 900   950 9300 timeout 900     1200 11000    timeout 900     820 11000    couldn't run: all seeds time out or crash 3.2  11 41   false(unreach-call) 1 .48 21 6.1  timeout 900    31 12000   done 1 2.0  26 28   done 1 4.4 170 44
seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.yml timeout 900   1800 9300 timeout 900   1000 9400 false(unreach-call) .54  28 7.2  false(unreach-call) .35  28 4.9  couldn't run: all seeds time out or crash 3.2  10 46   false(unreach-call) 1 .37 21 4.3  timeout 900    31 12000   done 1 2.7  20 36   done 1 8.8 170 110
seq-mthreaded/pals_lcr.4.1.ufo.UNBOUNDED.pals.yml timeout 900   2000 12000 timeout 900   1300 13000 false(unreach-call) .52  28 6.7  false(unreach-call) .33  28 3.7  couldn't run: all seeds time out or crash 3.2  10 48   false(unreach-call) 1 .51 21 5.6  timeout 900    31 12000   done 1 2.7  21 36   done 1 15   170 180
seq-mthreaded/pals_lcr.4_overflow.ufo.UNBOUNDED.pals.yml timeout 900   2900 6600 timeout 900   1000 6700 timeout 900     740 13000    timeout 900     520 11000    couldn't run: all seeds time out or crash 3.2  11 39   false(unreach-call) 1 .91 21 11    timeout 900    31 12000   done 1 5.0  37 64   done 1 4.2 170 45
seq-mthreaded/pals_lcr.5.1.ufo.BOUNDED-10.pals.yml timeout 900   3600 11000 timeout 900   1900 12000 false(unreach-call) .93  29 13    false(unreach-call) .63  28 8.3  couldn't run: all seeds time out or crash 3.2  11 36   false(unreach-call) 1 .90 23 12    timeout 900    31 12000   done 1 6.8  24 100   done 1 370   170 4700
seq-mthreaded/pals_lcr.5.1.ufo.UNBOUNDED.pals.yml timeout 900   3900 10000 timeout 900   990 8000 false(unreach-call) .91  30 12    false(unreach-call) .61  29 8.6  couldn't run: all seeds time out or crash 3.2  11 41   false(unreach-call) 1 1.8  24 22    timeout 900    31 11000   done 1 6.5  24 97   done 1 27   170 350
seq-mthreaded/pals_lcr.5_overflow.ufo.UNBOUNDED.pals.yml timeout 900   4400 8500 timeout 900   870 9500 timeout 900     490 13000    timeout 900     340 11000    couldn't run: all seeds time out or crash 3.2  11 41   false(unreach-call) 1 2.4  25 37    timeout 900    30 13000   done 1 16    64 220   done 1 4.5 170 44
seq-mthreaded/pals_lcr.6.1.ufo.BOUNDED-12.pals.yml timeout 900   2500 11000 timeout 900   600 11000 false(unreach-call) 1.6   35 20    false(unreach-call) 1.2   34 15    couldn't run: all seeds time out or crash 3.2  12 46   false(unreach-call) 1 .95 26 13    timeout 900    31 13000   done 1 19    35 260   done 1 180   180 2400
seq-mthreaded/pals_lcr.6.1.ufo.UNBOUNDED.pals.yml timeout 900   1800 10000 timeout 900   600 11000 false(unreach-call) 1.6   36 22    false(unreach-call) 1.2   34 16    couldn't run: all seeds time out or crash 3.2  12 46   false(unreach-call) 1 1.4  25 18    timeout 900    31 13000   done 1 20    35 260   done 1 5.4 180 66
seq-mthreaded/pals_lcr.6_overflow.ufo.UNBOUNDED.pals.yml timeout 900   2400 10000 timeout 900   540 12000 timeout 900     340 11000    timeout 900     260 11000    couldn't run: all seeds time out or crash 3.2  12 41   false(unreach-call) 1 9.2  39 130    timeout 900    31 12000   done 1 49    130 650   done 1 4.9 180 48
seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.yml timeout 900   1100 11000 timeout 900   610 14000 false(unreach-call) 3.6   43 48    false(unreach-call) 2.9   40 37    couldn't run: all seeds time out or crash 3.2  13 40   false(unreach-call) 1 8.2  43 100    timeout 900    31 14000   done 1 55    74 710   done 1 110   180 1500
seq-mthreaded/pals_lcr.7.1.ufo.UNBOUNDED.pals.yml timeout 900   1200 13000 timeout 900   470 13000 false(unreach-call) 3.5   44 42    false(unreach-call) 2.9   41 39    couldn't run: all seeds time out or crash 3.2  12 38   false(unreach-call) 1 7.4  41 100    timeout 900    31 13000   done 1 55    71 740   done 1 4.8 190 48
seq-mthreaded/pals_lcr.7_overflow.ufo.UNBOUNDED.pals.yml timeout 900   1800 12000 timeout 900   600 13000 timeout 900     250 12000    timeout 900     190 13000    couldn't run: all seeds time out or crash 3.2  12 49   false(unreach-call) 1 39    96 480    timeout 900    31 14000   done 1 180    300 2700   done 1 4.6 180 42
seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.yml timeout 900   1300 11000 timeout 900   600 12000 false(unreach-call) 9.4   53 120    false(unreach-call) 8.5   49 120    couldn't run: all seeds time out or crash 3.3  14 43   false(unreach-call) 1 3.3  32 44    timeout 900    31 14000   done 1 160    190 2500   done 1 570   190 7200
seq-mthreaded/pals_lcr.8.1.ufo.UNBOUNDED.pals.yml timeout 900   1100 11000 timeout 900   720 13000 false(unreach-call) 9.4   54 140    false(unreach-call) 8.5   50 100    couldn't run: all seeds time out or crash 3.2  14 46   false(unreach-call) 1 14    56 190    timeout 900    31 12000   done 1 170    190 2500   done 1 5.0 190 50
seq-mthreaded/pals_lcr.8_overflow.ufo.UNBOUNDED.pals.yml timeout 900   1100 14000 timeout 900   760 11000 timeout 900     200 13000    timeout 900     170 12000    couldn't run: all seeds time out or crash 3.2  13 49   false(unreach-call) 1 190    340 2300    timeout 900    31 13000   done 1 670    790 11000   done 1 4.7 190 48
seq-mthreaded/pals_opt-floodmax.3.1.ufo.BOUNDED-6.pals.yml done 1 26   890 270 unknown 1 5.8 300 53 false(unreach-call) .54  30 7.0  false(unreach-call) .27  29 3.3  couldn't run: all seeds time out or crash 3.2  11 38   false(unreach-call) 1 .63 64 7.9  timeout 900    31 13000   done 2.6  27 32   done 1 4.9 170 49
seq-mthreaded/pals_opt-floodmax.3.1.ufo.UNBOUNDED.pals.yml done 1 27   1000 280 unknown 1 5.9 300 55 false(unreach-call) .61  30 7.8  false(unreach-call) .28  29 3.1  couldn't run: all seeds time out or crash 3.2  10 41   false(unreach-call) 1 20    170 250    timeout 900    31 12000   done 2.6  27 37   done 1 5.1 170 58
seq-mthreaded/pals_opt-floodmax.3.2.ufo.BOUNDED-6.pals.yml done 1 25   890 260 unknown 1 5.2 300 57 false(unreach-call) .21  29 2.1  false(unreach-call) .20  29 2.0  couldn't run: all seeds time out or crash 3.2  10 43   false(unreach-call) 1 .60 60 7.5  timeout 900    30 11000   done 5.1  23 63   done 1 4.8 170 47
seq-mthreaded/pals_opt-floodmax.3.2.ufo.UNBOUNDED.pals.yml done 1 26   1300 260 unknown 1 4.8 290 42 false(unreach-call) .22  29 2.3  false(unreach-call) .18  29 2.2  couldn't run: all seeds time out or crash 3.2  11 43   false(unreach-call) 1 .64 65 7.5  timeout 900    31 14000   done 5.0  23 69   done 1 4.8 170 48
seq-mthreaded/pals_opt-floodmax.3.3.ufo.BOUNDED-6.pals.yml done 1 27   1200 280 unknown 1 5.9 310 63 false(unreach-call) .55  30 7.4  false(unreach-call) .27  29 3.3  couldn't run: all seeds time out or crash 3.2  11 50   false(unreach-call) 1 .61 60 7.3  timeout 900    30 13000   done 4.5  24 61   done 1 5.0 170 49
seq-mthreaded/pals_opt-floodmax.3.3.ufo.UNBOUNDED.pals.yml done 1 27   1100 290 unknown 1 6.3 310 56 false(unreach-call) .55  30 6.8  false(unreach-call) .27  29 3.6  couldn't run: all seeds time out or crash 3.2  10 45   false(unreach-call) 1 .74 70 9.5  timeout 900    31 12000   done 3.7  23 56   done 1 4.6 180 48
seq-mthreaded/pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.yml done 1 29   1000 290 unknown 1 7.5 320 75 false(unreach-call) .56  30 8.2  false(unreach-call) .28  29 2.5  couldn't run: all seeds time out or crash 3.2  10 37   false(unreach-call) 1 .66 62 8.4  timeout 900    31 11000   done 27    27 360   done 1 4.9 170 50
seq-mthreaded/pals_opt-floodmax.3.4.ufo.UNBOUNDED.pals.yml done 1 28   990 300 unknown 1 6.6 310 66 false(unreach-call) .56  30 7.9  false(unreach-call) .27  29 3.6  couldn't run: all seeds time out or crash 3.2  11 44   false(unreach-call) 1 5.6  130 77    timeout 900    31 14000   done 26    27 350   done 1 5.0 180 48
seq-mthreaded/pals_opt-floodmax.3_overflow.ufo.UNBOUNDED.pals.yml timeout 900   2000 9200 timeout 900   1300 10000 timeout 900     3400 10000    timeout 900     2700 11000    couldn't run: all seeds time out or crash 3.2  10 47   false(unreach-call) 1 9.6  130 110    timeout 900    31 14000   done 200    110 2900   done 1 4.7 180 52
seq-mthreaded/pals_opt-floodmax.4.1.ufo.BOUNDED-8.pals.yml done 1 33   810 350 unknown 1 12   500 120 false(unreach-call) 1.6   53 20    false(unreach-call) .83  48 9.9  couldn't run: all seeds time out or crash 3.2  10 47   false(unreach-call) 1 290    11000 1700    timeout 900    31 12000   done 87    1800 1400   done 1 5.6 180 63
seq-mthreaded/pals_opt-floodmax.4.1.ufo.UNBOUNDED.pals.yml done 1 44   810 480 unknown 1 24   420 180 false(unreach-call) 1.6   51 20    false(unreach-call) .85  48 9.7  couldn't run: all seeds time out or crash 3.2  11 41   false(unreach-call) 1 280    11000 1800    timeout 900    31 13000   done 97    1900 1400   done 1 5.7 190 51
seq-mthreaded/pals_opt-floodmax.4.2.ufo.BOUNDED-8.pals.yml done 1 30   740 320 unknown 1 10   360 98 false(unreach-call) 1.3   55 16    false(unreach-call) .60  49 8.3  couldn't run: all seeds time out or crash 3.2  13 40   false(unreach-call) 1 280    11000 1800    timeout 900    31 11000   done 22    170 290   done 1 5.7 200 53
seq-mthreaded/pals_opt-floodmax.4.2.ufo.UNBOUNDED.pals.yml done 1 32   870 330 unknown 1 12   350 100 false(unreach-call) 1.3   55 18    false(unreach-call) .61  49 8.2  couldn't run: all seeds time out or crash 3.2  13 48   false(unreach-call) 1 280    11000 1900    timeout 900    31 12000   done 24    170 310   done 1 5.9 200 61
seq-mthreaded/pals_opt-floodmax.4.3.ufo.BOUNDED-8.pals.yml done 1 40   970 440 unknown 1 18   410 170 false(unreach-call) 1.8   55 20    false(unreach-call) .91  51 9.9  couldn't run: all seeds time out or crash 3.2  12 46   false(unreach-call) 1 290    11000 1500    timeout 900    31 12000   done 34    270 430   done 1 5.7 190 64
seq-mthreaded/pals_opt-floodmax.4.3.ufo.UNBOUNDED.pals.yml done 1 32   950 370 unknown 1 12   490 120 false(unreach-call) 1.7   55 25    false(unreach-call) .89  51 13    couldn't run: all seeds time out or crash 3.3  12 42   false(unreach-call) 1 280    11000 2200    timeout 900    32 12000   done 32    270 410   done 1 5.6 190 58
seq-mthreaded/pals_opt-floodmax.4.4.ufo.BOUNDED-8.pals.yml done 1 99   970 730 unknown 1 76   580 710 false(unreach-call) 1.8   55 21    false(unreach-call) .88  51 12    couldn't run: all seeds time out or crash 3.3  12 45   false(unreach-call) 1 320    11000 1900    timeout 900    31 13000   done 98    670 1200   done 1 22   190 280
seq-mthreaded/pals_opt-floodmax.4.4.ufo.UNBOUNDED.pals.yml done 1 150   1100 1500 unknown 1 140   500 1100 false(unreach-call) 1.7   54 24    false(unreach-call) .89  51 11    couldn't run: all seeds time out or crash 3.3  13 44   timeout 900    13000 5900    timeout 900    31 12000   done 120    710 1400   done 1 26   200 310
seq-mthreaded/pals_opt-floodmax.4_overflow.ufo.UNBOUNDED.pals.yml timeout 900   1600 7100 timeout 900   1100 7600 timeout 900     810 11000    timeout 900     640 11000    couldn't run: all seeds time out or crash 3.2  13 41   false(unreach-call) 1 290    11000 1700    timeout 900    31 12000   timeout (verification) 900    1400 12000   done 1 5.6 190 57
seq-mthreaded/pals_opt-floodmax.5.1.ufo.BOUNDED-10.pals.yml done 1 620   1600 4600 unknown 1 610   1100 4000 false(unreach-call) 7.0   150 83    false(unreach-call) 3.6   150 42    couldn't run: all seeds time out or crash 3.2  12 46   timeout 900    15000 6200    timeout 900    34 14000   out of memory (killed (signal 9, verification)) 290    15000 3800   done 1 8.9 220 110
seq-mthreaded/pals_opt-floodmax.5.1.ufo.UNBOUNDED.pals.yml done 1 380   1600 3200 unknown 1 360   1000 2500 false(unreach-call) 6.9   150 82    false(unreach-call) 3.7   150 44    couldn't run: all seeds time out or crash 3.3  13 48   timeout 900    15000 6500    timeout 900    34 12000   out of memory (killed (signal 9, verification)) 290    15000 3500   done 1 9.2 220 100
seq-mthreaded/pals_opt-floodmax.5.2.ufo.BOUNDED-10.pals.yml done 1 82   1100 670 unknown 1 62   490 450 false(unreach-call) 6.1   160 73    false(unreach-call) 3.0   160 33    couldn't run: all seeds time out or crash 3.4  21 46   timeout 900    14000 5300    timeout 900    35 14000   out of memory (killed (signal 9, verification)) 76    15000 980   done 1 8.9 220 110
seq-mthreaded/pals_opt-floodmax.5.2.ufo.UNBOUNDED.pals.yml done 1 110   1100 930 unknown 1 92   530 680 false(unreach-call) 6.0   160 73    false(unreach-call) 3.0   160 41    couldn't run: all seeds time out or crash 3.4  21 53   timeout 900    14000 5500    timeout 900    35 10000   out of memory (killed (signal 9, verification)) 73    15000 940   done 1 9.4 230 100
seq-mthreaded/pals_opt-floodmax.5.3.ufo.BOUNDED-10.pals.yml done 1 71   1400 630 unknown 1 50   550 480 false(unreach-call) 7.5   160 100    false(unreach-call) 3.9   160 41    couldn't run: all seeds time out or crash 3.4  21 47   timeout 900    14000 5100    timeout 900    35 11000   out of memory (killed (signal 9, verification)) 73    15000 840   done 1 9.2 230 110
seq-mthreaded/pals_opt-floodmax.5.3.ufo.UNBOUNDED.pals.yml done 1 260   1500 2000 unknown 1 230   800 2100 false(unreach-call) 7.6   160 110    false(unreach-call) 3.9   160 45    couldn't run: all seeds time out or crash 3.4  21 44   timeout 900    14000 6200    timeout 900    35 11000   out of memory (killed (signal 9, verification)) 73    15000 860   done 1 9.2 250 98
seq-mthreaded/pals_opt-floodmax.5.4.ufo.BOUNDED-10.pals.yml timeout 900   1800 5800 timeout 900   1200 6100 false(unreach-call) 7.9   160 95    false(unreach-call) 4.3   160 53    couldn't run: all seeds time out or crash 3.4  21 40   timeout 900    14000 5800    timeout 900    35 12000   out of memory (killed (signal 9, verification)) 73    15000 880   done 1 380   230 4700
seq-mthreaded/pals_opt-floodmax.5.4.ufo.UNBOUNDED.pals.yml timeout 900   1500 5800 timeout 900   1000 5600 false(unreach-call) 7.9   160 99    false(unreach-call) 4.2   160 52    couldn't run: all seeds time out or crash 3.4  21 42   timeout 900    14000 5500    timeout 900    35 11000   out of memory (killed (signal 9, verification)) 73    15000 920   done 1 210   240 3000
seq-mthreaded/pals_opt-floodmax.5_overflow.ufo.UNBOUNDED.pals.yml timeout 900   1400 6000 timeout 900   970 4400 timeout 900     230 13000    timeout 900     220 11000    couldn't run: all seeds time out or crash 3.4  21 51   timeout 900    14000 6300    timeout 900    35 13000   out of memory (killed (signal 9, verification)) 73    15000 900   done 1 9.4 250 120
../sv-benchmarks/c/ status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J)
total 636 331 290000 3300000 2300000 636 238 350000 2800000 2900000 636 302 190000 2200000 2100000 636 308 160000 2200000 1800000 636 212 330000 120000 1900000 636 437 170000 1900000 1200000 636 57 500000 110000 7200000 636 372 150000 1100000 1900000 636 592 91000 480000 1100000
Run set coveritest.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] cpa-tiger.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] esbmc-kind.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] esbmc-falsi.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] fairfuzz.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] klee.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] prtest.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] symbiotic.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] verifuzz.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized]