Run set |
bam-parallel-ECA-fl-core1-gc1.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc1.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc1.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc1.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-8.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core1-gc2.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc2.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc2.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc2.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-8.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core1-gc4.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc4.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc4.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc4.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-8.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core1-gc6.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc6.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc6.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc6.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-8.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core1-gc8.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc8.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc8.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc8.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-8.ReachSafety-ECA-true |
../../../sv-benchmarks/c/eca-rers2012/ |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
Problem03_label00_true-unreach-call.c |
true |
6.50 |
6.50 |
315633664 |
true |
8.84 |
4.76 |
430821376 |
true |
10.3 |
3.35 |
450564096 |
true |
9.14 |
2.60 |
448819200 |
true |
10.2 |
2.48 |
451907584 |
true |
6.64 |
6.64 |
314699776 |
true |
9.61 |
4.96 |
443359232 |
true |
9.83 |
3.03 |
455020544 |
true |
9.65 |
2.53 |
446377984 |
true |
10.8 |
2.50 |
457781248 |
true |
6.69 |
6.70 |
315273216 |
true |
9.75 |
5.02 |
444846080 |
true |
10.8 |
3.31 |
451563520 |
true |
9.95 |
2.58 |
452628480 |
true |
10.3 |
2.22 |
458608640 |
true |
6.50 |
6.51 |
314261504 |
true |
10.0 |
5.17 |
443232256 |
true |
10.6 |
3.30 |
450387968 |
true |
10.1 |
2.54 |
452894720 |
true |
10.5 |
2.29 |
459571200 |
true |
6.83 |
6.83 |
309825536 |
true |
10.2 |
5.26 |
442200064 |
true |
10.7 |
3.23 |
455495680 |
true |
10.3 |
2.60 |
450375680 |
true |
10.9 |
2.30 |
464023552 |
Problem03_label01_true-unreach-call.c |
true |
6.76 |
6.77 |
314355712 |
true |
9.40 |
4.93 |
443068416 |
true |
10.4 |
3.33 |
466444288 |
true |
10.0 |
2.73 |
451424256 |
true |
10.5 |
2.56 |
462958592 |
true |
6.64 |
6.65 |
318959616 |
true |
9.90 |
5.09 |
442208256 |
true |
10.7 |
3.33 |
451080192 |
true |
9.89 |
2.52 |
447299584 |
true |
10.6 |
2.37 |
461410304 |
true |
6.41 |
6.43 |
314806272 |
true |
9.83 |
5.08 |
442142720 |
true |
10.8 |
3.31 |
452218880 |
true |
9.80 |
2.50 |
449003520 |
true |
10.2 |
2.25 |
453074944 |
true |
6.68 |
6.68 |
314814464 |
true |
9.52 |
4.92 |
445247488 |
true |
10.7 |
3.31 |
449810432 |
true |
10.5 |
2.67 |
448315392 |
true |
10.7 |
2.34 |
375947264 |
true |
6.46 |
6.46 |
314974208 |
true |
10.2 |
5.25 |
442253312 |
true |
10.4 |
3.14 |
438403072 |
true |
10.2 |
2.56 |
450420736 |
true |
10.5 |
2.28 |
465764352 |
Problem03_label02_true-unreach-call.c |
true |
6.98 |
6.98 |
314757120 |
true |
9.48 |
4.99 |
443596800 |
true |
10.5 |
3.36 |
448978944 |
true |
9.67 |
2.68 |
449646592 |
true |
10.4 |
2.43 |
469164032 |
true |
6.29 |
6.29 |
315879424 |
true |
9.71 |
5.01 |
443174912 |
true |
10.4 |
3.23 |
446459904 |
true |
9.98 |
2.57 |
452292608 |
true |
10.1 |
2.33 |
454438912 |
true |
6.46 |
6.46 |
309202944 |
true |
9.76 |
5.01 |
443908096 |
true |
10.9 |
3.34 |
450297856 |
true |
10.1 |
2.61 |
453005312 |
true |
9.96 |
2.29 |
464838656 |
true |
6.46 |
6.48 |
315109376 |
true |
9.50 |
4.90 |
443133952 |
true |
10.5 |
3.24 |
455491584 |
true |
10.2 |
2.52 |
451170304 |
true |
10.3 |
2.26 |
459440128 |
true |
6.23 |
6.23 |
315482112 |
true |
9.71 |
5.00 |
445071360 |
true |
10.9 |
3.24 |
452665344 |
true |
9.70 |
2.46 |
447807488 |
true |
10.6 |
2.31 |
461565952 |
Problem03_label03_true-unreach-call.c |
true |
6.47 |
6.47 |
310726656 |
true |
9.29 |
4.87 |
445272064 |
true |
10.8 |
3.61 |
453287936 |
true |
9.63 |
2.63 |
447528960 |
true |
10.3 |
2.46 |
456220672 |
true |
6.17 |
6.18 |
295079936 |
true |
9.82 |
5.07 |
443658240 |
true |
10.4 |
3.28 |
450908160 |
true |
9.73 |
2.52 |
447483904 |
true |
9.79 |
2.32 |
456237056 |
true |
6.84 |
6.85 |
314228736 |
true |
10.0 |
5.17 |
442159104 |
true |
10.9 |
3.35 |
453410816 |
true |
10.0 |
2.54 |
451178496 |
true |
10.3 |
2.32 |
460587008 |
true |
6.62 |
6.63 |
309682176 |
true |
9.63 |
5.00 |
443285504 |
true |
9.87 |
2.98 |
445329408 |
true |
9.80 |
2.48 |
449867776 |
true |
10.8 |
2.36 |
465969152 |
true |
6.65 |
6.66 |
314707968 |
true |
9.96 |
5.15 |
442142720 |
true |
10.7 |
3.35 |
457011200 |
true |
9.13 |
2.38 |
440754176 |
true |
11.0 |
2.40 |
457654272 |
Problem03_label04_true-unreach-call.c |
true |
6.65 |
6.66 |
315281408 |
true |
9.81 |
5.13 |
442515456 |
true |
10.5 |
3.43 |
455503872 |
true |
9.76 |
2.68 |
448479232 |
true |
10.6 |
2.62 |
454049792 |
true |
6.67 |
6.68 |
315346944 |
true |
9.38 |
4.85 |
445251584 |
true |
10.6 |
3.33 |
448200704 |
true |
10.0 |
2.58 |
447971328 |
true |
10.4 |
2.36 |
456712192 |
true |
6.48 |
6.49 |
314159104 |
true |
9.52 |
4.94 |
442261504 |
true |
11.5 |
3.45 |
462057472 |
true |
9.53 |
2.45 |
448663552 |
true |
10.4 |
2.29 |
456876032 |
true |
6.63 |
6.63 |
314064896 |
true |
9.82 |
5.04 |
442863616 |
true |
10.7 |
3.31 |
451723264 |
true |
10.2 |
2.53 |
451289088 |
true |
10.6 |
2.29 |
457519104 |
true |
6.66 |
6.68 |
313970688 |
true |
9.76 |
5.02 |
443916288 |
true |
10.6 |
3.29 |
452259840 |
true |
10.4 |
2.57 |
449617920 |
true |
10.4 |
2.32 |
464285696 |
Problem03_label05_true-unreach-call.c |
true |
6.42 |
6.42 |
316747776 |
true |
8.58 |
4.61 |
424902656 |
true |
9.37 |
3.14 |
443162624 |
true |
9.99 |
2.74 |
451629056 |
true |
10.9 |
2.55 |
459796480 |
true |
6.45 |
6.47 |
315195392 |
true |
9.59 |
4.96 |
442101760 |
true |
10.8 |
3.41 |
454139904 |
true |
9.82 |
2.56 |
448102400 |
true |
10.4 |
2.40 |
457797632 |
true |
6.56 |
6.57 |
314179584 |
true |
9.37 |
4.84 |
445698048 |
true |
10.3 |
3.20 |
441843712 |
true |
9.85 |
2.61 |
453316608 |
true |
10.5 |
2.25 |
456323072 |
true |
6.78 |
6.78 |
314523648 |
true |
9.78 |
5.04 |
442818560 |
true |
10.8 |
3.33 |
455548928 |
true |
10.1 |
2.57 |
451575808 |
true |
10.1 |
2.20 |
453132288 |
true |
6.55 |
6.56 |
313925632 |
true |
9.86 |
5.09 |
442658816 |
true |
10.3 |
3.21 |
446775296 |
true |
10.1 |
2.51 |
449232896 |
true |
10.9 |
2.31 |
461615104 |
Problem03_label06_true-unreach-call.c |
true |
6.60 |
6.61 |
315039744 |
true |
9.55 |
4.98 |
442220544 |
true |
10.1 |
3.25 |
452374528 |
true |
9.84 |
2.73 |
446935040 |
true |
10.6 |
2.54 |
458575872 |
true |
6.81 |
6.82 |
309559296 |
true |
9.65 |
4.98 |
446373888 |
true |
10.5 |
3.25 |
452964352 |
true |
9.73 |
2.63 |
451481600 |
true |
10.2 |
2.35 |
461103104 |
true |
6.86 |
6.86 |
319340544 |
true |
9.66 |
4.97 |
442933248 |
true |
10.4 |
3.24 |
458964992 |
true |
9.88 |
2.51 |
452714496 |
true |
10.4 |
2.30 |
454094848 |
true |
6.24 |
6.25 |
305238016 |
true |
10.6 |
5.45 |
440549376 |
true |
9.90 |
3.13 |
446181376 |
true |
9.21 |
2.41 |
451514368 |
true |
10.6 |
2.30 |
460214272 |
true |
6.55 |
6.57 |
314454016 |
true |
10.4 |
5.33 |
441589760 |
true |
10.9 |
3.26 |
453214208 |
true |
10.1 |
2.52 |
447602688 |
true |
10.3 |
2.28 |
462376960 |
Problem03_label07_true-unreach-call.c |
true |
6.55 |
6.56 |
314327040 |
true |
9.77 |
5.10 |
444690432 |
true |
10.3 |
3.35 |
453390336 |
true |
10.0 |
2.75 |
447635456 |
true |
10.8 |
2.53 |
458514432 |
true |
6.43 |
6.44 |
314355712 |
true |
9.67 |
4.99 |
445661184 |
true |
9.69 |
3.04 |
442015744 |
true |
9.51 |
2.50 |
452366336 |
true |
10.6 |
2.41 |
458440704 |
true |
6.81 |
6.82 |
315973632 |
true |
9.72 |
5.01 |
444968960 |
true |
10.5 |
3.22 |
456212480 |
true |
9.92 |
2.56 |
450551808 |
true |
10.4 |
2.38 |
461393920 |
true |
6.82 |
6.83 |
319234048 |
true |
9.88 |
5.10 |
444731392 |
true |
10.8 |
3.25 |
453050368 |
true |
8.81 |
2.37 |
437354496 |
true |
10.7 |
2.31 |
375422976 |
true |
6.59 |
6.60 |
315334656 |
true |
9.65 |
4.98 |
441319424 |
true |
11.0 |
3.37 |
451489792 |
true |
10.3 |
2.57 |
449855488 |
true |
10.4 |
2.27 |
458842112 |
Problem03_label08_true-unreach-call.c |
true |
6.48 |
6.48 |
314347520 |
true |
9.35 |
4.94 |
444997632 |
true |
10.6 |
3.41 |
452300800 |
true |
9.76 |
2.67 |
450580480 |
true |
10.4 |
2.48 |
455954432 |
true |
6.75 |
6.75 |
314503168 |
true |
9.85 |
5.08 |
445206528 |
true |
10.5 |
3.29 |
448012288 |
true |
9.85 |
2.58 |
449982464 |
true |
10.6 |
2.41 |
461586432 |
true |
6.71 |
6.71 |
314155008 |
true |
9.80 |
5.06 |
442642432 |
true |
10.8 |
3.33 |
451186688 |
true |
9.88 |
2.50 |
450490368 |
true |
10.2 |
2.25 |
468086784 |
true |
6.80 |
6.81 |
315555840 |
true |
9.99 |
5.15 |
442667008 |
true |
10.7 |
3.20 |
451915776 |
true |
9.96 |
2.61 |
449904640 |
true |
10.4 |
2.31 |
464097280 |
true |
6.64 |
6.64 |
314740736 |
true |
9.71 |
5.01 |
443187200 |
true |
10.9 |
3.31 |
452608000 |
true |
10.2 |
2.59 |
449208320 |
true |
10.6 |
2.27 |
467976192 |
Problem03_label10_true-unreach-call.c |
true |
6.50 |
6.51 |
309747712 |
true |
9.70 |
5.06 |
443203584 |
true |
10.6 |
3.45 |
453939200 |
true |
9.78 |
2.81 |
448376832 |
true |
10.6 |
2.48 |
455499776 |
true |
6.71 |
6.72 |
314212352 |
true |
9.65 |
4.98 |
444645376 |
true |
10.4 |
3.22 |
449511424 |
true |
9.93 |
2.56 |
445403136 |
true |
10.6 |
2.36 |
458551296 |
true |
6.21 |
6.22 |
315482112 |
true |
9.49 |
4.93 |
443744256 |
true |
10.3 |
3.16 |
452468736 |
true |
9.80 |
2.48 |
447832064 |
true |
10.6 |
2.33 |
463433728 |
true |
6.82 |
6.82 |
314740736 |
true |
10.3 |
5.30 |
443072512 |
true |
10.3 |
3.18 |
450883584 |
true |
8.97 |
2.37 |
441860096 |
true |
10.5 |
2.25 |
462557184 |
true |
6.69 |
6.69 |
313790464 |
true |
9.81 |
5.05 |
443084800 |
true |
10.4 |
3.21 |
450748416 |
true |
9.81 |
2.50 |
450564096 |
true |
10.4 |
2.29 |
457629696 |
Problem03_label11_true-unreach-call.c |
true |
6.61 |
6.61 |
316665856 |
true |
9.51 |
4.97 |
443891712 |
true |
10.2 |
3.32 |
450281472 |
true |
9.77 |
2.65 |
447840256 |
true |
10.4 |
2.54 |
463290368 |
true |
6.61 |
6.62 |
311136256 |
true |
9.53 |
4.93 |
440733696 |
true |
9.78 |
3.10 |
438345728 |
true |
9.90 |
2.65 |
450191360 |
true |
10.4 |
2.39 |
458838016 |
true |
6.52 |
6.52 |
315105280 |
true |
9.99 |
5.14 |
442740736 |
true |
9.63 |
2.98 |
441159680 |
true |
9.78 |
2.42 |
452661248 |
true |
10.2 |
2.28 |
465264640 |
true |
6.74 |
6.74 |
313401344 |
true |
9.79 |
5.05 |
443080704 |
true |
11.0 |
3.35 |
450842624 |
true |
10.1 |
2.53 |
449650688 |
true |
10.4 |
2.29 |
475144192 |
true |
6.57 |
6.58 |
314654720 |
true |
10.2 |
5.29 |
443310080 |
true |
11.2 |
3.39 |
454156288 |
true |
10.3 |
2.53 |
450289664 |
true |
10.6 |
2.26 |
466370560 |
Problem03_label12_true-unreach-call.c |
true |
6.48 |
6.49 |
314208256 |
true |
9.59 |
5.02 |
442605568 |
true |
10.5 |
3.32 |
451334144 |
true |
9.12 |
2.51 |
442224640 |
true |
10.0 |
2.45 |
461254656 |
true |
6.64 |
6.65 |
314384384 |
true |
9.81 |
5.04 |
442793984 |
true |
10.5 |
3.31 |
453562368 |
true |
10.3 |
2.78 |
450797568 |
true |
10.4 |
2.35 |
462692352 |
true |
6.52 |
6.52 |
314892288 |
true |
9.61 |
4.97 |
443490304 |
true |
10.4 |
3.17 |
458354688 |
true |
9.92 |
2.51 |
450179072 |
true |
11.4 |
2.46 |
460783616 |
true |
6.90 |
6.91 |
323211264 |
true |
9.97 |
5.14 |
442888192 |
true |
10.6 |
3.24 |
449236992 |
true |
10.1 |
2.52 |
452722688 |
true |
10.4 |
2.29 |
461230080 |
true |
6.61 |
6.62 |
313683968 |
true |
9.82 |
5.07 |
442814464 |
true |
9.92 |
3.06 |
439435264 |
true |
10.4 |
2.65 |
449069056 |
true |
10.7 |
2.35 |
462622720 |
Problem03_label14_true-unreach-call.c |
true |
6.61 |
6.62 |
315219968 |
true |
9.56 |
5.02 |
444964864 |
true |
10.0 |
3.25 |
448651264 |
true |
10.1 |
2.76 |
446709760 |
true |
10.4 |
2.47 |
460275712 |
true |
6.88 |
6.89 |
324276224 |
true |
9.93 |
5.10 |
442064896 |
true |
10.7 |
3.28 |
450699264 |
true |
9.55 |
2.58 |
449576960 |
true |
10.2 |
2.31 |
459382784 |
true |
6.55 |
6.56 |
314400768 |
true |
9.58 |
4.94 |
442425344 |
true |
10.4 |
3.21 |
452857856 |
true |
9.73 |
2.49 |
445997056 |
true |
10.5 |
2.40 |
474681344 |
true |
6.85 |
6.86 |
310530048 |
true |
10.2 |
5.26 |
441053184 |
true |
10.9 |
3.34 |
450871296 |
true |
10.3 |
2.62 |
369029120 |
true |
10.8 |
2.37 |
460931072 |
true |
6.64 |
6.65 |
310927360 |
true |
9.83 |
5.07 |
444362752 |
true |
11.3 |
3.42 |
453926912 |
true |
9.99 |
2.65 |
451846144 |
true |
11.1 |
2.31 |
455393280 |
Problem03_label15_true-unreach-call.c |
true |
6.75 |
6.76 |
314978304 |
true |
8.84 |
4.66 |
440995840 |
true |
10.3 |
3.37 |
453054464 |
true |
9.22 |
2.56 |
450367488 |
true |
10.4 |
2.46 |
454283264 |
true |
6.82 |
6.83 |
313704448 |
true |
9.77 |
5.05 |
442781696 |
true |
10.1 |
3.11 |
448585728 |
true |
9.95 |
2.57 |
451186688 |
true |
10.1 |
2.30 |
458964992 |
true |
6.53 |
6.54 |
314654720 |
true |
9.70 |
5.01 |
442290176 |
true |
9.84 |
3.04 |
441126912 |
true |
9.53 |
2.52 |
454217728 |
true |
10.2 |
2.24 |
459624448 |
true |
6.54 |
6.55 |
315969536 |
true |
10.4 |
5.34 |
442159104 |
true |
10.8 |
3.21 |
451440640 |
true |
9.11 |
2.40 |
437366784 |
true |
10.3 |
2.33 |
467423232 |
true |
6.62 |
6.62 |
314478592 |
true |
10.1 |
5.18 |
444321792 |
true |
10.2 |
3.11 |
437035008 |
true |
10.4 |
2.59 |
451235840 |
true |
10.3 |
2.28 |
459374592 |
Problem03_label16_true-unreach-call.c |
true |
6.47 |
6.47 |
314802176 |
true |
9.40 |
4.93 |
444010496 |
true |
10.1 |
3.34 |
449892352 |
true |
9.84 |
2.71 |
451207168 |
true |
10.6 |
2.55 |
456912896 |
true |
6.80 |
6.81 |
318038016 |
true |
9.86 |
5.05 |
443764736 |
true |
10.2 |
3.19 |
452501504 |
true |
9.73 |
2.53 |
451833856 |
true |
10.7 |
2.47 |
460349440 |
true |
6.73 |
6.75 |
317235200 |
true |
9.78 |
5.03 |
444399616 |
true |
9.57 |
3.00 |
440082432 |
true |
9.73 |
2.47 |
453230592 |
true |
10.4 |
2.27 |
459386880 |
true |
6.54 |
6.55 |
315285504 |
true |
9.36 |
4.82 |
445087744 |
true |
10.6 |
3.27 |
450928640 |
true |
9.76 |
2.44 |
450985984 |
true |
10.4 |
2.28 |
457261056 |
true |
6.82 |
6.83 |
310935552 |
true |
10.3 |
5.28 |
446918656 |
true |
11.0 |
3.40 |
454455296 |
true |
9.90 |
2.53 |
451211264 |
true |
10.7 |
2.35 |
458108928 |
Problem03_label17_true-unreach-call.c |
true |
6.18 |
6.18 |
296304640 |
true |
9.21 |
4.80 |
443326464 |
true |
10.3 |
3.31 |
450752512 |
true |
9.96 |
2.67 |
448065536 |
true |
10.6 |
2.53 |
464244736 |
true |
6.66 |
6.67 |
314109952 |
true |
9.81 |
5.04 |
443527168 |
true |
10.7 |
3.30 |
449941504 |
true |
9.65 |
2.49 |
449966080 |
true |
9.83 |
2.34 |
460693504 |
true |
6.42 |
6.42 |
314490880 |
true |
9.57 |
4.92 |
443633664 |
true |
10.3 |
3.15 |
452206592 |
true |
10.2 |
2.52 |
451469312 |
true |
11.0 |
2.36 |
458158080 |
true |
6.59 |
6.60 |
310747136 |
true |
9.92 |
5.13 |
442945536 |
true |
10.5 |
3.25 |
450273280 |
true |
10.5 |
2.65 |
449179648 |
true |
10.3 |
2.26 |
456511488 |
true |
6.67 |
6.68 |
313892864 |
true |
10.1 |
5.21 |
441495552 |
true |
10.7 |
3.21 |
451710976 |
true |
9.85 |
2.47 |
448884736 |
true |
10.6 |
2.33 |
462139392 |
Problem03_label18_true-unreach-call.c |
true |
7.02 |
7.02 |
321527808 |
true |
9.60 |
5.01 |
442466304 |
true |
10.5 |
3.33 |
449990656 |
true |
10.1 |
2.73 |
450940928 |
true |
10.9 |
2.64 |
457428992 |
true |
6.11 |
6.11 |
308645888 |
true |
9.36 |
4.81 |
445902848 |
true |
10.6 |
3.22 |
449220608 |
true |
10.2 |
2.70 |
450387968 |
true |
10.1 |
2.33 |
468287488 |
true |
6.63 |
6.64 |
314474496 |
true |
9.78 |
5.03 |
444764160 |
true |
10.6 |
3.18 |
451637248 |
true |
9.94 |
2.51 |
449892352 |
true |
10.3 |
2.31 |
461660160 |
true |
6.60 |
6.60 |
314736640 |
true |
10.2 |
5.24 |
441917440 |
true |
11.0 |
3.33 |
449314816 |
true |
10.5 |
2.76 |
450326528 |
true |
10.6 |
2.39 |
463646720 |
true |
6.63 |
6.64 |
315023360 |
true |
9.76 |
5.01 |
441753600 |
true |
10.9 |
3.29 |
451723264 |
true |
9.95 |
2.55 |
449691648 |
true |
10.4 |
2.31 |
469835776 |
Problem03_label19_true-unreach-call.c |
true |
6.56 |
6.58 |
316633088 |
true |
9.31 |
4.88 |
443195392 |
true |
10.5 |
3.37 |
450363392 |
true |
9.11 |
2.63 |
451420160 |
true |
10.4 |
2.52 |
461852672 |
true |
6.84 |
6.85 |
314392576 |
true |
8.96 |
4.64 |
431738880 |
true |
10.0 |
3.14 |
436985856 |
true |
9.01 |
2.53 |
434847744 |
true |
10.3 |
2.33 |
454660096 |
true |
6.98 |
6.99 |
317255680 |
true |
9.60 |
4.97 |
442535936 |
true |
10.4 |
3.27 |
453709824 |
true |
10.1 |
2.52 |
450723840 |
true |
10.9 |
2.36 |
454258688 |
true |
6.85 |
6.87 |
314589184 |
true |
10.1 |
5.22 |
444657664 |
true |
10.5 |
3.14 |
450772992 |
true |
10.2 |
2.55 |
452997120 |
true |
10.5 |
2.32 |
451907584 |
true |
6.64 |
6.64 |
314384384 |
true |
9.85 |
5.06 |
446136320 |
true |
9.94 |
3.08 |
441298944 |
true |
10.4 |
2.59 |
451969024 |
true |
10.6 |
2.28 |
466882560 |
Problem03_label20_true-unreach-call.c |
true |
6.43 |
6.43 |
314966016 |
true |
9.66 |
5.04 |
442437632 |
true |
10.5 |
3.40 |
453632000 |
true |
10.3 |
2.82 |
449552384 |
true |
10.7 |
2.59 |
452321280 |
true |
6.74 |
6.75 |
313778176 |
true |
9.65 |
4.99 |
442359808 |
true |
10.5 |
3.27 |
453140480 |
true |
9.69 |
2.50 |
447909888 |
true |
10.3 |
2.36 |
458129408 |
true |
6.72 |
6.73 |
313540608 |
true |
9.50 |
4.93 |
444510208 |
true |
10.6 |
3.26 |
451567616 |
true |
10.2 |
2.66 |
449871872 |
true |
10.1 |
2.34 |
455327744 |
true |
7.01 |
7.02 |
319463424 |
true |
9.75 |
5.02 |
442920960 |
true |
10.8 |
3.29 |
449261568 |
true |
10.0 |
2.55 |
449593344 |
true |
10.5 |
2.29 |
462073856 |
true |
6.61 |
6.61 |
314339328 |
true |
10.1 |
5.19 |
442376192 |
true |
10.6 |
3.24 |
455094272 |
true |
10.9 |
2.70 |
450768896 |
true |
10.6 |
2.28 |
469520384 |
Problem03_label21_true-unreach-call.c |
true |
6.43 |
6.43 |
315834368 |
true |
9.64 |
5.02 |
442425344 |
true |
10.5 |
3.31 |
450244608 |
true |
10.1 |
2.80 |
452034560 |
true |
10.3 |
2.49 |
451604480 |
true |
6.50 |
6.51 |
314527744 |
true |
9.76 |
5.03 |
441643008 |
true |
9.62 |
3.05 |
442707968 |
true |
10.2 |
2.62 |
450011136 |
true |
10.4 |
2.36 |
458166272 |
true |
6.89 |
6.89 |
316076032 |
true |
9.63 |
4.95 |
444035072 |
true |
9.94 |
3.02 |
437084160 |
true |
10.2 |
2.68 |
457478144 |
true |
10.6 |
2.32 |
458235904 |
true |
6.80 |
6.81 |
313655296 |
true |
9.73 |
5.03 |
442458112 |
true |
10.6 |
3.30 |
452947968 |
true |
10.3 |
2.65 |
449748992 |
true |
10.3 |
2.26 |
457801728 |
true |
6.60 |
6.60 |
314793984 |
true |
10.5 |
5.37 |
441212928 |
true |
10.5 |
3.24 |
452812800 |
true |
10.2 |
2.55 |
449822720 |
true |
10.3 |
2.29 |
460935168 |
Problem03_label22_true-unreach-call.c |
true |
6.32 |
6.33 |
309850112 |
true |
9.78 |
5.13 |
444678144 |
true |
10.2 |
3.27 |
450166784 |
true |
9.76 |
2.66 |
447881216 |
true |
10.6 |
2.64 |
454811648 |
true |
6.34 |
6.34 |
314679296 |
true |
9.73 |
5.02 |
444796928 |
true |
10.4 |
3.24 |
453398528 |
true |
8.99 |
2.47 |
446410752 |
true |
10.7 |
2.50 |
455512064 |
true |
6.86 |
6.88 |
313688064 |
true |
9.41 |
4.88 |
444403712 |
true |
10.9 |
3.34 |
452042752 |
true |
10.0 |
2.67 |
448233472 |
true |
10.6 |
2.35 |
455614464 |
true |
6.45 |
6.47 |
316825600 |
true |
9.70 |
5.01 |
443125760 |
true |
9.62 |
3.05 |
440000512 |
true |
9.67 |
2.50 |
457056256 |
true |
10.6 |
2.27 |
461074432 |
true |
6.49 |
6.49 |
314376192 |
true |
9.78 |
5.05 |
442134528 |
true |
10.8 |
3.30 |
449671168 |
true |
9.84 |
2.46 |
449200128 |
true |
10.9 |
2.33 |
459415552 |
Problem03_label23_true-unreach-call.c |
true |
6.43 |
6.45 |
315547648 |
true |
9.52 |
4.95 |
443736064 |
true |
10.7 |
3.45 |
451858432 |
true |
9.70 |
2.86 |
450347008 |
true |
10.4 |
2.52 |
459198464 |
true |
6.85 |
6.86 |
318869504 |
true |
9.68 |
5.00 |
442441728 |
true |
10.5 |
3.28 |
450453504 |
true |
9.92 |
2.60 |
449388544 |
true |
10.5 |
2.47 |
459931648 |
true |
6.67 |
6.67 |
321900544 |
true |
10.2 |
5.27 |
440967168 |
true |
10.7 |
3.32 |
452706304 |
true |
10.3 |
2.60 |
451239936 |
true |
10.3 |
2.30 |
463720448 |
true |
6.54 |
6.55 |
308736000 |
true |
9.74 |
5.03 |
443183104 |
true |
10.0 |
3.05 |
437321728 |
true |
10.0 |
2.61 |
377495552 |
true |
10.4 |
2.30 |
461438976 |
true |
6.81 |
6.82 |
319168512 |
true |
9.95 |
5.14 |
443580416 |
true |
10.5 |
3.26 |
451428352 |
true |
10.3 |
2.56 |
450596864 |
true |
10.6 |
2.31 |
457371648 |
Problem03_label24_true-unreach-call.c |
true |
6.43 |
6.43 |
314892288 |
true |
9.52 |
4.99 |
443625472 |
true |
9.81 |
3.19 |
451903488 |
true |
9.80 |
2.75 |
447815680 |
true |
10.2 |
2.54 |
461553664 |
true |
6.65 |
6.66 |
314687488 |
true |
9.43 |
4.88 |
444309504 |
true |
10.1 |
3.19 |
453984256 |
true |
9.91 |
2.60 |
448344064 |
true |
10.5 |
2.38 |
460353536 |
true |
6.60 |
6.62 |
318488576 |
true |
9.64 |
4.98 |
442490880 |
true |
10.8 |
3.31 |
452276224 |
true |
9.68 |
2.49 |
449888256 |
true |
10.3 |
2.33 |
461205504 |
true |
6.74 |
6.75 |
314249216 |
true |
9.79 |
5.04 |
442171392 |
true |
10.4 |
3.15 |
451698688 |
true |
9.95 |
2.51 |
448352256 |
true |
10.7 |
2.39 |
457019392 |
true |
6.42 |
6.43 |
316239872 |
true |
9.46 |
4.88 |
445284352 |
true |
10.8 |
3.28 |
451858432 |
true |
9.32 |
2.41 |
448557056 |
true |
10.2 |
2.27 |
463155200 |
Problem03_label25_true-unreach-call.c |
true |
6.22 |
6.23 |
312266752 |
true |
9.27 |
4.87 |
444243968 |
true |
9.95 |
3.21 |
438489088 |
true |
8.89 |
2.61 |
439648256 |
true |
10.7 |
2.58 |
455974912 |
true |
6.56 |
6.56 |
315129856 |
true |
9.61 |
4.95 |
444633088 |
true |
10.4 |
3.21 |
450605056 |
true |
9.79 |
2.71 |
443174912 |
true |
11.1 |
2.53 |
456867840 |
true |
6.55 |
6.55 |
314982400 |
true |
9.81 |
5.05 |
442216448 |
true |
10.2 |
3.11 |
451153920 |
true |
10.1 |
2.68 |
451383296 |
true |
10.4 |
2.35 |
458084352 |
true |
6.68 |
6.69 |
313978880 |
true |
9.77 |
5.06 |
442728448 |
true |
10.5 |
3.16 |
450019328 |
true |
9.59 |
2.46 |
454402048 |
true |
10.2 |
2.24 |
464187392 |
true |
6.70 |
6.70 |
313851904 |
true |
9.72 |
5.02 |
442982400 |
true |
10.7 |
3.23 |
453238784 |
true |
10.2 |
2.59 |
452214784 |
true |
10.1 |
2.23 |
458477568 |
Problem03_label29_true-unreach-call.c |
true |
6.67 |
6.69 |
314974208 |
true |
9.43 |
4.95 |
443719680 |
true |
9.67 |
3.28 |
446271488 |
true |
10.1 |
2.73 |
451227648 |
true |
10.7 |
2.60 |
462139392 |
true |
6.53 |
6.54 |
315363328 |
true |
9.67 |
4.98 |
442081280 |
true |
9.75 |
3.10 |
438034432 |
true |
10.0 |
2.73 |
450248704 |
true |
10.9 |
2.41 |
461881344 |
true |
6.52 |
6.53 |
314687488 |
true |
9.36 |
4.85 |
444092416 |
true |
10.6 |
3.23 |
455155712 |
true |
9.67 |
2.43 |
449593344 |
true |
10.9 |
2.36 |
462675968 |
true |
6.48 |
6.48 |
314380288 |
true |
9.78 |
5.04 |
443617280 |
true |
11.0 |
3.33 |
451993600 |
true |
10.0 |
2.53 |
449970176 |
true |
10.7 |
2.29 |
460054528 |
true |
5.94 |
5.94 |
298799104 |
true |
9.88 |
5.09 |
443711488 |
true |
10.6 |
3.26 |
452472832 |
true |
9.37 |
2.41 |
451682304 |
true |
10.6 |
2.32 |
370003968 |
Problem03_label30_true-unreach-call.c |
true |
6.78 |
6.78 |
315674624 |
true |
10.0 |
5.22 |
441860096 |
true |
10.1 |
3.27 |
448356352 |
true |
9.77 |
2.66 |
450502656 |
true |
10.5 |
2.51 |
455794688 |
true |
6.75 |
6.75 |
314175488 |
true |
9.71 |
5.02 |
445198336 |
true |
10.7 |
3.32 |
449843200 |
true |
9.43 |
2.54 |
452444160 |
true |
10.4 |
2.40 |
460148736 |
true |
6.51 |
6.51 |
311611392 |
true |
9.34 |
4.83 |
445788160 |
true |
10.3 |
3.14 |
452272128 |
true |
10.3 |
2.55 |
447799296 |
true |
10.7 |
2.40 |
460382208 |
true |
6.78 |
6.79 |
311001088 |
true |
9.85 |
5.08 |
442212352 |
true |
10.5 |
3.16 |
451117056 |
true |
10.0 |
2.50 |
452382720 |
true |
10.3 |
2.26 |
464805888 |
true |
6.76 |
6.76 |
313839616 |
true |
10.2 |
5.25 |
442548224 |
true |
10.8 |
3.25 |
450600960 |
true |
9.97 |
2.54 |
448995328 |
true |
10.4 |
2.29 |
461664256 |
Problem03_label32_true-unreach-call.c |
true |
6.96 |
6.96 |
315199488 |
true |
9.59 |
4.99 |
442986496 |
true |
9.69 |
3.27 |
445804544 |
true |
9.63 |
2.69 |
449593344 |
true |
10.3 |
2.48 |
451678208 |
true |
6.12 |
6.12 |
292708352 |
true |
9.29 |
4.80 |
445042688 |
true |
10.6 |
3.34 |
454029312 |
true |
9.70 |
2.54 |
450510848 |
true |
10.2 |
2.30 |
467386368 |
true |
6.94 |
6.96 |
313630720 |
true |
9.92 |
5.13 |
443592704 |
true |
10.9 |
3.32 |
452071424 |
true |
9.64 |
2.44 |
450068480 |
true |
10.4 |
2.28 |
459837440 |
true |
6.55 |
6.56 |
314880000 |
true |
9.06 |
4.69 |
422146048 |
true |
10.8 |
3.25 |
446869504 |
true |
10.1 |
2.50 |
449908736 |
true |
10.1 |
2.25 |
468156416 |
true |
6.54 |
6.54 |
314470400 |
true |
9.84 |
5.07 |
442900480 |
true |
10.5 |
3.19 |
457822208 |
true |
9.59 |
2.50 |
458149888 |
true |
10.3 |
2.24 |
472379392 |
Problem03_label33_true-unreach-call.c |
true |
6.87 |
6.88 |
320589824 |
true |
9.63 |
5.03 |
443580416 |
true |
10.5 |
3.42 |
451067904 |
true |
10.8 |
3.13 |
448487424 |
true |
10.6 |
2.67 |
452657152 |
true |
6.24 |
6.26 |
315580416 |
true |
9.34 |
4.82 |
442085376 |
true |
10.7 |
3.33 |
455753728 |
true |
9.68 |
2.55 |
450924544 |
true |
10.7 |
2.49 |
464351232 |
true |
6.45 |
6.46 |
315437056 |
true |
9.85 |
5.08 |
442089472 |
true |
10.5 |
3.18 |
450588672 |
true |
9.82 |
2.46 |
450469888 |
true |
10.7 |
2.34 |
461946880 |
true |
6.75 |
6.76 |
314646528 |
true |
9.83 |
5.05 |
442302464 |
true |
10.9 |
3.28 |
451121152 |
true |
10.0 |
2.57 |
453177344 |
true |
10.6 |
2.37 |
461598720 |
true |
6.77 |
6.77 |
315478016 |
true |
10.2 |
5.29 |
443039744 |
true |
11.1 |
3.35 |
453578752 |
true |
10.6 |
2.59 |
449900544 |
true |
10.7 |
2.37 |
459317248 |
Problem03_label34_true-unreach-call.c |
true |
6.32 |
6.33 |
308838400 |
true |
9.43 |
4.92 |
446636032 |
true |
9.65 |
3.15 |
456175616 |
true |
9.82 |
2.75 |
449982464 |
true |
10.2 |
2.51 |
465526784 |
true |
6.25 |
6.25 |
305819648 |
true |
9.98 |
5.13 |
444039168 |
true |
11.1 |
3.47 |
452530176 |
true |
10.0 |
2.70 |
447389696 |
true |
10.0 |
2.33 |
463441920 |
true |
5.98 |
5.99 |
299753472 |
true |
8.47 |
4.41 |
420446208 |
true |
10.5 |
3.17 |
450748416 |
true |
9.90 |
2.47 |
450023424 |
true |
10.5 |
2.29 |
462700544 |
true |
6.64 |
6.66 |
314408960 |
true |
9.62 |
4.99 |
442945536 |
true |
10.8 |
3.33 |
450105344 |
true |
10.0 |
2.48 |
451637248 |
true |
10.0 |
2.26 |
471662592 |
true |
6.52 |
6.52 |
314540032 |
true |
10.1 |
5.18 |
443215872 |
true |
11.0 |
3.37 |
446394368 |
true |
10.1 |
2.53 |
448356352 |
true |
10.1 |
2.21 |
467664896 |
Problem03_label36_true-unreach-call.c |
true |
6.60 |
6.61 |
318013440 |
true |
9.63 |
5.04 |
443842560 |
true |
9.91 |
3.28 |
447016960 |
true |
9.82 |
2.81 |
449331200 |
true |
10.7 |
2.48 |
459304960 |
true |
6.16 |
6.17 |
299315200 |
true |
9.41 |
4.87 |
442134528 |
true |
9.67 |
3.12 |
437878784 |
true |
9.58 |
2.54 |
451166208 |
true |
10.7 |
2.45 |
463384576 |
true |
6.65 |
6.67 |
314339328 |
true |
9.92 |
5.11 |
442560512 |
true |
9.46 |
2.91 |
441552896 |
true |
9.84 |
2.49 |
451448832 |
true |
10.8 |
2.39 |
458280960 |
true |
5.97 |
5.97 |
297979904 |
true |
9.92 |
5.10 |
443269120 |
true |
10.1 |
3.18 |
441634816 |
true |
9.76 |
2.49 |
447991808 |
true |
10.4 |
2.27 |
467013632 |
true |
6.62 |
6.64 |
313966592 |
true |
9.92 |
5.11 |
444207104 |
true |
10.2 |
3.14 |
443817984 |
true |
10.3 |
2.55 |
450375680 |
true |
11.0 |
2.37 |
380788736 |
Problem03_label38_true-unreach-call.c |
true |
6.48 |
6.48 |
314892288 |
true |
9.42 |
4.91 |
443863040 |
true |
10.4 |
3.30 |
452067328 |
true |
9.68 |
2.64 |
448966656 |
true |
10.5 |
2.49 |
462356480 |
true |
6.37 |
6.37 |
315883520 |
true |
9.67 |
5.00 |
443060224 |
true |
10.3 |
3.13 |
449945600 |
true |
9.66 |
2.52 |
449818624 |
true |
10.1 |
2.40 |
461402112 |
true |
6.59 |
6.60 |
314822656 |
true |
9.63 |
4.97 |
444780544 |
true |
10.6 |
3.22 |
450404352 |
true |
10.2 |
2.65 |
451776512 |
true |
10.4 |
2.30 |
464629760 |
true |
6.57 |
6.58 |
314888192 |
true |
10.7 |
5.48 |
441851904 |
true |
10.4 |
3.18 |
450150400 |
true |
10.1 |
2.55 |
456388608 |
true |
10.6 |
2.28 |
375996416 |
true |
6.67 |
6.68 |
312909824 |
true |
9.74 |
5.03 |
445018112 |
true |
11.2 |
3.43 |
454049792 |
true |
10.2 |
2.55 |
449228800 |
true |
10.8 |
2.32 |
460218368 |
Problem03_label40_true-unreach-call.c |
true |
6.88 |
6.89 |
309751808 |
true |
9.55 |
4.98 |
448311296 |
true |
10.3 |
3.25 |
454148096 |
true |
9.85 |
2.68 |
450863104 |
true |
10.4 |
2.46 |
455921664 |
true |
6.57 |
6.58 |
313163776 |
true |
9.64 |
4.96 |
442748928 |
true |
10.5 |
3.24 |
452009984 |
true |
9.09 |
2.56 |
441524224 |
true |
10.2 |
2.33 |
458506240 |
true |
6.74 |
6.75 |
314732544 |
true |
10.1 |
5.22 |
442667008 |
true |
10.4 |
3.15 |
470007808 |
true |
10.2 |
2.56 |
450392064 |
true |
10.2 |
2.25 |
458928128 |
true |
6.71 |
6.71 |
318464000 |
true |
9.97 |
5.15 |
445059072 |
true |
10.7 |
3.30 |
452579328 |
true |
9.83 |
2.45 |
448483328 |
true |
10.8 |
2.34 |
456302592 |
true |
6.61 |
6.62 |
309465088 |
true |
9.63 |
4.98 |
444121088 |
true |
10.7 |
3.31 |
451231744 |
true |
10.1 |
2.56 |
451031040 |
true |
10.6 |
2.30 |
460787712 |
Problem03_label41_true-unreach-call.c |
true |
6.55 |
6.57 |
310738944 |
true |
9.53 |
5.01 |
443420672 |
true |
10.5 |
3.55 |
448618496 |
true |
9.93 |
2.73 |
451710976 |
true |
10.4 |
2.51 |
461324288 |
true |
6.44 |
6.44 |
314839040 |
true |
9.57 |
4.93 |
443527168 |
true |
9.53 |
2.98 |
441761792 |
true |
10.0 |
2.61 |
449200128 |
true |
10.7 |
2.38 |
459276288 |
true |
6.53 |
6.54 |
314621952 |
true |
9.41 |
4.89 |
444755968 |
true |
9.90 |
3.05 |
439242752 |
true |
9.08 |
2.38 |
436645888 |
true |
10.3 |
2.32 |
458006528 |
true |
6.69 |
6.69 |
314609664 |
true |
9.72 |
5.02 |
443170816 |
true |
10.3 |
3.21 |
454180864 |
true |
10.0 |
2.51 |
451305472 |
true |
10.2 |
2.25 |
456175616 |
true |
6.61 |
6.61 |
312737792 |
true |
10.3 |
5.26 |
441966592 |
true |
11.6 |
3.46 |
455667712 |
true |
9.30 |
2.44 |
435302400 |
true |
10.5 |
2.33 |
463015936 |
Problem03_label42_true-unreach-call.c |
true |
6.66 |
6.67 |
314990592 |
true |
9.49 |
4.97 |
443682816 |
true |
10.6 |
3.37 |
454017024 |
true |
10.1 |
2.75 |
450113536 |
true |
10.2 |
2.48 |
458190848 |
true |
6.99 |
7.00 |
324186112 |
true |
9.70 |
5.01 |
444682240 |
true |
10.8 |
3.25 |
456040448 |
true |
10.0 |
2.58 |
451481600 |
true |
10.4 |
2.42 |
462204928 |
true |
6.40 |
6.40 |
314859520 |
true |
9.70 |
5.00 |
442503168 |
true |
11.0 |
3.38 |
451497984 |
true |
9.94 |
2.51 |
449839104 |
true |
10.5 |
2.30 |
463015936 |
true |
6.82 |
6.83 |
321142784 |
true |
9.66 |
4.96 |
443838464 |
true |
11.1 |
3.36 |
453857280 |
true |
9.92 |
2.52 |
453963776 |
true |
11.0 |
2.35 |
461209600 |
true |
6.85 |
6.87 |
314228736 |
true |
10.1 |
5.19 |
442904576 |
true |
10.6 |
3.25 |
449847296 |
true |
10.2 |
2.66 |
454041600 |
true |
10.5 |
2.27 |
464691200 |
Problem03_label44_true-unreach-call.c |
true |
6.70 |
6.71 |
314781696 |
true |
9.58 |
5.04 |
445059072 |
true |
10.5 |
3.37 |
448114688 |
true |
9.71 |
2.70 |
450019328 |
true |
10.6 |
2.51 |
457928704 |
true |
6.74 |
6.75 |
324034560 |
true |
9.50 |
4.90 |
441839616 |
true |
10.2 |
3.19 |
450465792 |
true |
10.1 |
2.78 |
452304896 |
true |
10.2 |
2.43 |
456871936 |
true |
6.50 |
6.50 |
314429440 |
true |
9.46 |
4.88 |
443125760 |
true |
10.5 |
3.21 |
452304896 |
true |
10.5 |
2.61 |
451313664 |
true |
10.4 |
2.30 |
461008896 |
true |
6.47 |
6.48 |
310771712 |
true |
9.09 |
4.73 |
430645248 |
true |
10.5 |
3.22 |
450191360 |
true |
10.4 |
2.55 |
448442368 |
true |
10.4 |
2.30 |
463015936 |
true |
6.84 |
6.85 |
328126464 |
true |
9.77 |
5.06 |
443097088 |
true |
11.1 |
3.41 |
449650688 |
true |
10.1 |
2.60 |
450314240 |
true |
10.6 |
2.30 |
463912960 |
Problem03_label46_true-unreach-call.c |
true |
6.53 |
6.53 |
315150336 |
true |
9.56 |
4.99 |
442847232 |
true |
9.62 |
3.21 |
441094144 |
true |
10.3 |
2.79 |
447336448 |
true |
10.6 |
2.58 |
457117696 |
true |
6.62 |
6.64 |
314757120 |
true |
9.59 |
4.96 |
442646528 |
true |
10.7 |
3.31 |
448778240 |
true |
9.96 |
2.60 |
449699840 |
true |
10.5 |
2.51 |
458805248 |
true |
6.46 |
6.46 |
314916864 |
true |
9.60 |
4.96 |
447610880 |
true |
10.1 |
3.09 |
437039104 |
true |
9.96 |
2.51 |
449351680 |
true |
10.4 |
2.32 |
464764928 |
true |
6.20 |
6.21 |
317476864 |
true |
9.57 |
4.93 |
444882944 |
true |
10.6 |
3.28 |
451944448 |
true |
9.87 |
2.46 |
450752512 |
true |
10.5 |
2.29 |
456904704 |
true |
6.71 |
6.72 |
314540032 |
true |
10.4 |
5.35 |
441331712 |
true |
10.9 |
3.28 |
450973696 |
true |
10.0 |
2.61 |
450867200 |
true |
10.3 |
2.26 |
469913600 |
Problem03_label47_true-unreach-call.c |
true |
6.56 |
6.57 |
314818560 |
true |
9.72 |
5.07 |
443412480 |
true |
10.7 |
3.45 |
453566464 |
true |
9.83 |
2.80 |
453005312 |
true |
10.6 |
2.51 |
459763712 |
true |
6.65 |
6.67 |
314740736 |
true |
8.67 |
4.49 |
428642304 |
true |
10.7 |
3.32 |
455229440 |
true |
9.96 |
2.59 |
450584576 |
true |
10.2 |
2.35 |
453767168 |
true |
6.63 |
6.64 |
315146240 |
true |
9.60 |
4.93 |
441790464 |
true |
10.3 |
3.13 |
451969024 |
true |
10.1 |
2.63 |
450150400 |
true |
10.2 |
2.27 |
457428992 |
true |
6.94 |
6.95 |
321970176 |
true |
9.48 |
4.90 |
444137472 |
true |
11.0 |
3.39 |
453758976 |
true |
9.65 |
2.47 |
442441728 |
true |
10.8 |
2.30 |
461385728 |
true |
6.71 |
6.71 |
315023360 |
true |
9.99 |
5.15 |
442597376 |
true |
10.6 |
3.27 |
450891776 |
true |
9.00 |
2.42 |
442044416 |
true |
10.7 |
2.31 |
466419712 |
Problem03_label48_true-unreach-call.c |
true |
6.34 |
6.34 |
315326464 |
true |
9.38 |
4.92 |
442810368 |
true |
10.6 |
3.47 |
451170304 |
true |
10.6 |
2.88 |
450519040 |
true |
10.5 |
2.54 |
455200768 |
true |
6.85 |
6.87 |
323833856 |
true |
9.60 |
4.94 |
441397248 |
true |
9.91 |
3.19 |
444854272 |
true |
10.0 |
2.67 |
449814528 |
true |
10.7 |
2.34 |
462639104 |
true |
6.54 |
6.54 |
314781696 |
true |
9.40 |
4.86 |
443256832 |
true |
10.6 |
3.26 |
448417792 |
true |
9.75 |
2.46 |
448716800 |
true |
10.2 |
2.23 |
458428416 |
true |
6.92 |
6.92 |
318971904 |
true |
8.67 |
4.51 |
429383680 |
true |
9.83 |
3.07 |
444542976 |
true |
9.69 |
2.49 |
452685824 |
true |
10.2 |
2.27 |
466026496 |
true |
6.61 |
6.61 |
315113472 |
true |
9.76 |
5.02 |
442150912 |
true |
10.8 |
3.29 |
455933952 |
true |
9.25 |
2.36 |
435527680 |
true |
10.9 |
2.31 |
457932800 |
Problem03_label49_true-unreach-call.c |
true |
6.39 |
6.41 |
315842560 |
true |
9.53 |
4.97 |
441929728 |
true |
9.52 |
3.21 |
439693312 |
true |
9.51 |
2.68 |
450506752 |
true |
10.7 |
2.61 |
456462336 |
true |
6.62 |
6.63 |
322846720 |
true |
9.51 |
4.90 |
445378560 |
true |
9.79 |
3.10 |
445710336 |
true |
9.62 |
2.50 |
450764800 |
true |
10.3 |
2.40 |
462704640 |
true |
6.63 |
6.64 |
316166144 |
true |
10.1 |
5.18 |
441233408 |
true |
10.3 |
3.14 |
451821568 |
true |
10.1 |
2.53 |
448319488 |
true |
10.1 |
2.27 |
458051584 |
true |
6.52 |
6.54 |
314523648 |
true |
8.61 |
4.48 |
432386048 |
true |
11.2 |
3.41 |
450211840 |
true |
9.43 |
2.48 |
440291328 |
true |
10.9 |
2.34 |
462921728 |
true |
6.74 |
6.74 |
316112896 |
true |
9.62 |
4.98 |
446300160 |
true |
11.0 |
3.39 |
450457600 |
true |
10.5 |
2.62 |
452427776 |
true |
11.1 |
2.43 |
462438400 |
Problem03_label51_true-unreach-call.c |
true |
5.98 |
6.00 |
290299904 |
true |
9.59 |
5.01 |
443994112 |
true |
10.1 |
3.34 |
449167360 |
true |
9.85 |
2.75 |
450154496 |
true |
10.3 |
2.47 |
457433088 |
true |
6.38 |
6.39 |
309174272 |
true |
9.59 |
4.93 |
444747776 |
true |
9.78 |
3.15 |
448872448 |
true |
9.12 |
2.52 |
446570496 |
true |
10.5 |
2.37 |
457207808 |
true |
6.67 |
6.67 |
314118144 |
true |
9.56 |
4.95 |
442601472 |
true |
10.4 |
3.18 |
449748992 |
true |
9.82 |
2.44 |
451620864 |
true |
10.3 |
2.29 |
457695232 |
true |
6.51 |
6.52 |
315486208 |
true |
8.83 |
4.60 |
431828992 |
true |
10.7 |
3.27 |
454135808 |
true |
9.89 |
2.48 |
450555904 |
true |
10.2 |
2.28 |
460972032 |
true |
6.86 |
6.87 |
317501440 |
true |
10.0 |
5.15 |
445177856 |
true |
11.3 |
3.47 |
450015232 |
true |
9.23 |
2.41 |
435920896 |
true |
10.8 |
2.39 |
456929280 |
Problem03_label53_true-unreach-call.c |
true |
6.71 |
6.72 |
316809216 |
true |
9.58 |
5.03 |
444137472 |
true |
10.3 |
3.37 |
450875392 |
true |
10.2 |
2.96 |
455024640 |
true |
10.2 |
2.44 |
459128832 |
true |
6.25 |
6.25 |
315764736 |
true |
9.73 |
5.01 |
442621952 |
true |
10.5 |
3.30 |
453877760 |
true |
10.2 |
2.59 |
449363968 |
true |
10.6 |
2.42 |
464408576 |
true |
6.66 |
6.67 |
315240448 |
true |
9.46 |
4.86 |
443052032 |
true |
10.9 |
3.33 |
451850240 |
true |
9.98 |
2.58 |
451031040 |
true |
10.4 |
2.27 |
459083776 |
true |
6.57 |
6.59 |
314523648 |
true |
10.3 |
5.27 |
441634816 |
true |
10.1 |
3.07 |
451543040 |
true |
9.01 |
2.36 |
438312960 |
true |
10.5 |
2.26 |
457584640 |
true |
6.67 |
6.67 |
313933824 |
true |
9.48 |
4.90 |
444297216 |
true |
10.9 |
3.32 |
450723840 |
true |
9.62 |
2.43 |
449978368 |
true |
10.4 |
2.30 |
458850304 |
Problem03_label54_true-unreach-call.c |
true |
6.65 |
6.66 |
310534144 |
true |
9.34 |
4.88 |
443158528 |
true |
10.5 |
3.35 |
450547712 |
true |
9.75 |
2.72 |
449941504 |
true |
10.3 |
2.49 |
457048064 |
true |
6.49 |
6.50 |
313548800 |
true |
9.05 |
4.69 |
428138496 |
true |
10.8 |
3.31 |
453636096 |
true |
9.95 |
2.56 |
450445312 |
true |
10.4 |
2.37 |
458895360 |
true |
6.39 |
6.40 |
315428864 |
true |
9.99 |
5.16 |
443469824 |
true |
10.6 |
3.29 |
449310720 |
true |
9.75 |
2.56 |
450023424 |
true |
10.2 |
2.24 |
463523840 |
true |
6.57 |
6.58 |
313360384 |
true |
9.75 |
5.04 |
443486208 |
true |
10.0 |
3.13 |
445882368 |
true |
9.66 |
2.39 |
451387392 |
true |
10.3 |
2.34 |
468873216 |
true |
6.19 |
6.20 |
292683776 |
true |
9.74 |
5.03 |
442757120 |
true |
10.6 |
3.28 |
452296704 |
true |
10.3 |
2.69 |
452071424 |
true |
10.4 |
2.27 |
467546112 |
Problem03_label55_true-unreach-call.c |
true |
6.56 |
6.56 |
315293696 |
true |
9.61 |
4.99 |
442568704 |
true |
10.4 |
3.38 |
450777088 |
true |
9.60 |
2.65 |
448790528 |
true |
10.4 |
2.45 |
458825728 |
true |
6.67 |
6.67 |
314703872 |
true |
9.72 |
5.00 |
444653568 |
true |
10.4 |
3.22 |
452812800 |
true |
10.6 |
2.93 |
453181440 |
true |
10.4 |
2.37 |
458420224 |
true |
6.75 |
6.75 |
310394880 |
true |
9.33 |
4.83 |
444645376 |
true |
10.4 |
3.22 |
451031040 |
true |
8.72 |
2.31 |
458973184 |
true |
10.5 |
2.38 |
460070912 |
true |
6.51 |
6.52 |
314859520 |
true |
9.45 |
4.88 |
441552896 |
true |
10.1 |
3.10 |
450850816 |
true |
10.2 |
2.48 |
444538880 |
true |
10.1 |
2.23 |
382623744 |
true |
6.60 |
6.60 |
315117568 |
true |
9.05 |
4.73 |
436572160 |
true |
11.3 |
3.41 |
452059136 |
true |
10.0 |
2.45 |
448622592 |
true |
10.9 |
2.46 |
462020608 |
Problem03_label56_true-unreach-call.c |
true |
6.76 |
6.77 |
314433536 |
true |
9.48 |
4.94 |
443211776 |
true |
10.4 |
3.34 |
454467584 |
true |
9.08 |
2.55 |
434421760 |
true |
10.3 |
2.48 |
455749632 |
true |
6.67 |
6.67 |
314638336 |
true |
9.95 |
5.13 |
442609664 |
true |
10.6 |
3.27 |
451170304 |
true |
10.2 |
2.71 |
450162688 |
true |
10.4 |
2.51 |
451739648 |
true |
6.88 |
6.88 |
314118144 |
true |
9.78 |
5.04 |
443822080 |
true |
10.7 |
3.19 |
454500352 |
true |
10.2 |
2.58 |
450723840 |
true |
10.5 |
2.28 |
466591744 |
true |
6.80 |
6.81 |
313491456 |
true |
10.1 |
5.17 |
442515456 |
true |
11.0 |
3.32 |
456048640 |
true |
10.2 |
2.53 |
448978944 |
true |
10.8 |
2.31 |
374984704 |
true |
6.79 |
6.79 |
314572800 |
true |
10.1 |
5.22 |
442519552 |
true |
10.4 |
3.14 |
452870144 |
true |
10.3 |
2.71 |
452599808 |
true |
10.8 |
2.38 |
374435840 |
Problem03_label57_true-unreach-call.c |
true |
6.58 |
6.59 |
315166720 |
true |
9.32 |
4.87 |
443559936 |
true |
10.7 |
3.43 |
450158592 |
true |
10.1 |
2.72 |
449617920 |
true |
10.3 |
2.44 |
452927488 |
true |
6.51 |
6.52 |
314408960 |
true |
9.39 |
4.84 |
443994112 |
true |
10.2 |
3.20 |
451776512 |
true |
10.0 |
2.57 |
448819200 |
true |
10.3 |
2.35 |
454529024 |
true |
6.70 |
6.71 |
317091840 |
true |
9.55 |
4.91 |
442941440 |
true |
10.5 |
3.23 |
453595136 |
true |
9.76 |
2.53 |
449499136 |
true |
10.6 |
2.38 |
460775424 |
true |
6.72 |
6.73 |
315506688 |
true |
9.58 |
4.94 |
444289024 |
true |
10.8 |
3.23 |
454168576 |
true |
10.1 |
2.61 |
451571712 |
true |
10.7 |
2.33 |
458629120 |
true |
6.09 |
6.10 |
317755392 |
true |
9.98 |
5.14 |
443215872 |
true |
10.8 |
3.39 |
454545408 |
true |
9.51 |
2.54 |
445571072 |
true |
10.6 |
2.27 |
460820480 |
Problem03_label58_true-unreach-call.c |
true |
6.92 |
6.93 |
320221184 |
true |
9.84 |
5.11 |
442671104 |
true |
10.6 |
3.42 |
450686976 |
true |
9.85 |
2.87 |
452710400 |
true |
10.3 |
2.48 |
456749056 |
true |
6.49 |
6.49 |
316182528 |
true |
9.64 |
4.98 |
442298368 |
true |
10.1 |
3.19 |
448872448 |
true |
10.0 |
2.75 |
450158592 |
true |
10.1 |
2.29 |
464957440 |
true |
6.64 |
6.64 |
314388480 |
true |
9.63 |
4.98 |
442413056 |
true |
10.3 |
3.13 |
450469888 |
true |
10.2 |
2.73 |
452677632 |
true |
10.3 |
2.24 |
460050432 |
true |
6.87 |
6.89 |
325185536 |
true |
10.1 |
5.23 |
442281984 |
true |
9.65 |
3.04 |
441389056 |
true |
10.4 |
2.74 |
448442368 |
true |
10.3 |
2.31 |
381300736 |
true |
6.57 |
6.57 |
314408960 |
true |
9.54 |
4.94 |
446054400 |
true |
10.2 |
3.16 |
436170752 |
true |
9.95 |
2.48 |
450715648 |
true |
10.5 |
2.27 |
467722240 |
Problem03_label59_true-unreach-call.c |
true |
6.52 |
6.53 |
315641856 |
true |
9.39 |
4.92 |
444317696 |
true |
10.3 |
3.29 |
451620864 |
true |
9.68 |
2.64 |
446500864 |
true |
10.5 |
2.48 |
458756096 |
true |
6.48 |
6.48 |
314834944 |
true |
9.48 |
4.89 |
443129856 |
true |
10.5 |
3.28 |
453046272 |
true |
9.73 |
2.57 |
449081344 |
true |
10.3 |
2.33 |
457019392 |
true |
6.72 |
6.72 |
316628992 |
true |
9.82 |
5.06 |
439377920 |
true |
11.1 |
3.41 |
450285568 |
true |
9.40 |
2.51 |
434044928 |
true |
10.9 |
2.38 |
460779520 |
true |
6.37 |
6.38 |
311250944 |
true |
9.85 |
5.08 |
445005824 |
true |
10.7 |
3.26 |
455147520 |
true |
9.82 |
2.52 |
448122880 |
true |
10.4 |
2.35 |
458739712 |
true |
6.61 |
6.61 |
315412480 |
true |
9.83 |
5.09 |
443531264 |
true |
10.3 |
3.16 |
438534144 |
true |
10.1 |
2.52 |
448348160 |
true |
10.6 |
2.41 |
460513280 |
Problem04_label00_true-unreach-call.c |
true |
21.9 |
21.9 |
1130651648 |
true |
31.2 |
18.7 |
2388664320 |
true |
34.6 |
14.1 |
2427891712 |
true |
32.4 |
11.7 |
2225594368 |
true |
34.9 |
11.1 |
2304737280 |
true |
22.2 |
22.2 |
1139994624 |
true |
33.8 |
17.1 |
2348679168 |
true |
38.2 |
12.2 |
2406809600 |
true |
33.9 |
9.10 |
2245890048 |
true |
35.2 |
8.53 |
2348134400 |
true |
21.5 |
21.5 |
1126993920 |
true |
35.6 |
18.0 |
2189324288 |
true |
37.7 |
10.6 |
2127011840 |
true |
34.3 |
7.80 |
2280779776 |
true |
37.4 |
7.29 |
2440237056 |
true |
21.4 |
21.5 |
1119850496 |
true |
35.5 |
18.0 |
2159271936 |
true |
37.4 |
10.6 |
2240114688 |
true |
38.1 |
7.78 |
2220851200 |
true |
38.9 |
6.80 |
2361966592 |
true |
22.2 |
22.2 |
1149833216 |
true |
39.1 |
19.8 |
2339524608 |
true |
37.8 |
10.5 |
2219622400 |
true |
37.1 |
7.72 |
2279878656 |
true |
40.2 |
6.89 |
2334130176 |
Problem04_label01_true-unreach-call.c |
true |
21.3 |
21.4 |
1126993920 |
true |
30.8 |
18.5 |
2292772864 |
true |
32.7 |
13.6 |
2409050112 |
true |
33.5 |
11.8 |
2190557184 |
true |
35.1 |
11.0 |
2289557504 |
true |
20.9 |
20.9 |
1103822848 |
true |
33.1 |
16.8 |
2156322816 |
true |
36.3 |
12.2 |
2199371776 |
true |
35.6 |
9.47 |
2181910528 |
true |
35.6 |
8.50 |
2567344128 |
true |
20.7 |
20.7 |
1129275392 |
true |
37.6 |
19.1 |
2470830080 |
true |
37.7 |
10.7 |
2261774336 |
true |
35.1 |
7.99 |
2161696768 |
true |
38.2 |
7.43 |
2238894080 |
true |
22.3 |
22.3 |
1125011456 |
true |
35.0 |
17.7 |
2295554048 |
true |
36.7 |
10.2 |
2171146240 |
true |
38.1 |
7.93 |
2121342976 |
true |
38.4 |
6.79 |
2197602304 |
true |
21.5 |
21.5 |
1115779072 |
true |
35.4 |
18.0 |
2215337984 |
true |
38.0 |
10.5 |
1987096576 |
true |
38.3 |
7.98 |
2133921792 |
true |
40.6 |
6.79 |
2273013760 |
Problem04_label02_true-unreach-call.c |
true |
21.7 |
21.7 |
1157210112 |
true |
32.4 |
19.4 |
2312454144 |
true |
33.6 |
13.9 |
2381406208 |
true |
33.6 |
12.0 |
2505859072 |
true |
34.1 |
10.8 |
2324086784 |
true |
21.6 |
21.6 |
1123921920 |
true |
33.9 |
17.3 |
2322882560 |
true |
35.1 |
11.5 |
2235813888 |
true |
34.9 |
9.54 |
2499981312 |
true |
35.9 |
8.56 |
2497949696 |
true |
21.3 |
21.3 |
1133252608 |
true |
35.4 |
17.9 |
2167218176 |
true |
36.5 |
10.5 |
2210025472 |
true |
37.0 |
8.44 |
2269351936 |
true |
36.7 |
7.06 |
2222047232 |
true |
21.0 |
21.0 |
1109831680 |
true |
35.5 |
18.0 |
2159468544 |
true |
38.1 |
10.6 |
2222977024 |
true |
37.2 |
7.67 |
2351841280 |
true |
38.7 |
6.91 |
2135904256 |
true |
21.5 |
21.5 |
1154842624 |
true |
34.8 |
17.7 |
2400980992 |
true |
38.2 |
10.6 |
2131902464 |
true |
39.3 |
8.04 |
2129661952 |
true |
40.0 |
6.69 |
2114187264 |
Problem04_label03_true-unreach-call.c |
true |
22.1 |
22.1 |
1153540096 |
true |
30.1 |
18.2 |
2223632384 |
true |
32.6 |
13.3 |
2191720448 |
true |
34.0 |
12.2 |
2483511296 |
true |
34.1 |
10.9 |
2285170688 |
true |
21.0 |
21.0 |
1154359296 |
true |
34.8 |
17.7 |
2123972608 |
true |
34.2 |
11.1 |
2225610752 |
true |
34.7 |
9.40 |
2403852288 |
true |
35.2 |
8.59 |
2481995776 |
true |
21.3 |
21.3 |
1115734016 |
true |
35.3 |
17.9 |
2180341760 |
true |
36.0 |
10.3 |
2170298368 |
true |
35.8 |
8.08 |
2158379008 |
true |
36.1 |
7.05 |
2559250432 |
true |
21.3 |
21.3 |
1132724224 |
true |
35.1 |
17.8 |
2280570880 |
true |
36.7 |
10.3 |
2180481024 |
true |
38.6 |
8.02 |
2353221632 |
true |
38.1 |
6.77 |
2161836032 |
true |
21.3 |
21.3 |
1102888960 |
true |
34.7 |
17.6 |
2069520384 |
true |
37.6 |
10.5 |
2129141760 |
true |
38.3 |
7.97 |
2223001600 |
true |
39.5 |
6.58 |
2222596096 |
Problem04_label05_true-unreach-call.c |
true |
21.6 |
21.6 |
1166233600 |
true |
30.8 |
18.6 |
2395549696 |
true |
33.5 |
13.8 |
2305773568 |
true |
32.6 |
11.7 |
2250878976 |
true |
33.7 |
10.8 |
2229387264 |
true |
21.7 |
21.8 |
1125126144 |
true |
36.0 |
18.3 |
2083012608 |
true |
37.1 |
12.6 |
2390847488 |
true |
35.0 |
9.41 |
2485108736 |
true |
35.3 |
8.53 |
2463870976 |
true |
21.5 |
21.5 |
1114394624 |
true |
34.6 |
17.6 |
2187157504 |
true |
37.5 |
10.6 |
2372743168 |
true |
36.5 |
8.34 |
2180177920 |
true |
36.7 |
7.12 |
2290728960 |
true |
21.4 |
21.4 |
1108803584 |
true |
35.0 |
17.8 |
2436509696 |
true |
37.4 |
10.5 |
2215862272 |
true |
39.0 |
7.92 |
2403495936 |
true |
40.9 |
7.11 |
2113802240 |
true |
20.8 |
20.9 |
1115631616 |
true |
34.8 |
17.7 |
2398285824 |
true |
39.4 |
11.0 |
2090078208 |
true |
38.0 |
7.80 |
2093649920 |
true |
41.1 |
6.81 |
2299850752 |
Problem04_label07_true-unreach-call.c |
true |
21.8 |
21.8 |
1122664448 |
true |
30.3 |
18.5 |
2446544896 |
true |
33.1 |
13.8 |
2350039040 |
true |
32.7 |
11.7 |
2212114432 |
true |
34.3 |
10.9 |
2268418048 |
true |
22.0 |
22.0 |
1135640576 |
true |
33.7 |
17.1 |
2356297728 |
true |
35.0 |
11.6 |
2219167744 |
true |
32.7 |
8.95 |
2438049792 |
true |
36.3 |
8.72 |
2486652928 |
true |
21.3 |
21.3 |
1124786176 |
true |
35.7 |
18.1 |
2237239296 |
true |
37.7 |
10.5 |
2279059456 |
true |
35.8 |
8.08 |
2205270016 |
true |
36.8 |
7.42 |
2469535744 |
true |
21.4 |
21.4 |
1122447360 |
true |
37.9 |
19.3 |
2402529280 |
true |
36.8 |
10.4 |
2330779648 |
true |
37.2 |
7.70 |
2186862592 |
true |
39.4 |
6.89 |
2201071616 |
true |
21.7 |
21.7 |
1157607424 |
true |
35.5 |
18.1 |
2182782976 |
true |
38.1 |
10.5 |
2496647168 |
true |
38.5 |
7.89 |
2236583936 |
true |
40.6 |
6.97 |
2524487680 |
Problem04_label08_true-unreach-call.c |
true |
21.4 |
21.4 |
1112150016 |
true |
30.7 |
18.4 |
2170712064 |
true |
32.7 |
13.6 |
2269319168 |
true |
33.9 |
11.8 |
2188083200 |
true |
34.3 |
11.2 |
2347692032 |
true |
21.6 |
21.6 |
1136902144 |
true |
34.1 |
17.3 |
2181394432 |
true |
33.9 |
11.3 |
2419392512 |
true |
34.6 |
9.31 |
2535358464 |
true |
35.0 |
8.33 |
2356027392 |
true |
21.1 |
21.1 |
1103364096 |
true |
34.9 |
17.7 |
2350424064 |
true |
36.4 |
10.5 |
2197413888 |
true |
35.0 |
8.04 |
2289688576 |
true |
37.0 |
7.22 |
2396180480 |
true |
21.2 |
21.2 |
1119584256 |
true |
35.2 |
17.9 |
2228355072 |
true |
37.3 |
10.5 |
2313224192 |
true |
36.9 |
7.61 |
2279268352 |
true |
38.3 |
6.74 |
2270031872 |
true |
22.3 |
22.3 |
1128894464 |
true |
33.8 |
17.2 |
2198589440 |
true |
38.0 |
10.6 |
2335711232 |
true |
39.2 |
8.12 |
2585112576 |
true |
38.1 |
6.48 |
2180096000 |
Problem04_label10_true-unreach-call.c |
true |
21.1 |
21.1 |
1126350848 |
true |
31.2 |
18.7 |
2304819200 |
true |
33.2 |
13.7 |
2477494272 |
true |
33.6 |
12.0 |
2221359104 |
true |
34.4 |
10.9 |
2295095296 |
true |
21.5 |
21.5 |
1127206912 |
true |
34.2 |
17.4 |
2354413568 |
true |
32.8 |
10.8 |
2212974592 |
true |
34.0 |
9.14 |
2276421632 |
true |
35.0 |
8.27 |
2264920064 |
true |
21.8 |
21.8 |
1162416128 |
true |
33.5 |
17.0 |
2383679488 |
true |
38.2 |
10.8 |
2186043392 |
true |
35.2 |
8.00 |
2143199232 |
true |
36.0 |
7.08 |
2367672320 |
true |
21.5 |
21.5 |
1152552960 |
true |
35.4 |
17.9 |
2320515072 |
true |
38.0 |
10.7 |
2479546368 |
true |
39.3 |
8.05 |
2095378432 |
true |
38.6 |
6.71 |
2136190976 |
true |
21.6 |
21.7 |
1116413952 |
true |
34.7 |
17.6 |
2175229952 |
true |
37.6 |
10.5 |
2233196544 |
true |
39.5 |
8.36 |
2223509504 |
true |
39.2 |
6.58 |
2188115968 |
Problem04_label16_true-unreach-call.c |
true |
21.7 |
21.7 |
1154183168 |
true |
32.5 |
19.4 |
2154496000 |
true |
31.7 |
13.1 |
2195034112 |
true |
33.3 |
11.8 |
2433576960 |
true |
34.7 |
11.3 |
2366517248 |
true |
21.4 |
21.4 |
1123487744 |
true |
34.7 |
17.6 |
2256216064 |
true |
34.6 |
11.3 |
2094387200 |
true |
32.7 |
8.79 |
2280484864 |
true |
35.3 |
8.55 |
2459308032 |
true |
21.8 |
21.8 |
1138057216 |
true |
34.2 |
17.3 |
2264453120 |
true |
37.3 |
10.5 |
2167341056 |
true |
34.0 |
7.74 |
2393554944 |
true |
37.4 |
7.42 |
2566586368 |
true |
21.4 |
21.5 |
1128050688 |
true |
35.7 |
18.1 |
2221039616 |
true |
37.5 |
10.5 |
2202849280 |
true |
38.0 |
7.79 |
2243821568 |
true |
42.1 |
7.48 |
2868580352 |
true |
22.1 |
22.1 |
1131364352 |
true |
36.3 |
18.4 |
2267115520 |
true |
40.4 |
11.3 |
2271399936 |
true |
37.8 |
7.94 |
2319781888 |
true |
39.9 |
6.65 |
2407141376 |
Problem04_label20_true-unreach-call_false-termination.c |
true |
20.6 |
20.6 |
1117528064 |
true |
32.2 |
19.2 |
2251079680 |
true |
34.3 |
14.1 |
2265739264 |
true |
33.6 |
12.0 |
2237685760 |
true |
35.0 |
11.3 |
2359336960 |
true |
21.5 |
21.5 |
1123495936 |
true |
34.4 |
17.4 |
2100662272 |
true |
33.5 |
11.0 |
2430984192 |
true |
34.4 |
9.57 |
2329235456 |
true |
36.6 |
8.62 |
2531270656 |
true |
22.4 |
22.4 |
1128607744 |
true |
34.9 |
17.8 |
2270826496 |
true |
37.9 |
10.7 |
2384654336 |
true |
35.4 |
8.09 |
2182606848 |
true |
37.7 |
7.21 |
2213670912 |
true |
21.6 |
21.6 |
1158696960 |
true |
35.4 |
18.0 |
2214932480 |
true |
37.8 |
10.6 |
2293850112 |
true |
39.6 |
8.06 |
2393817088 |
true |
38.3 |
6.80 |
2199728128 |
true |
22.1 |
22.1 |
1135837184 |
true |
37.7 |
19.1 |
2300571648 |
true |
37.8 |
10.6 |
2170478592 |
true |
38.1 |
7.95 |
2143428608 |
true |
40.7 |
6.92 |
2331160576 |
Problem04_label21_true-unreach-call.c |
true |
21.4 |
21.4 |
1108500480 |
true |
30.2 |
18.4 |
2335502336 |
true |
32.0 |
13.0 |
2158620672 |
true |
32.7 |
11.8 |
2399543296 |
true |
33.9 |
11.0 |
2268532736 |
true |
21.6 |
21.6 |
1112838144 |
true |
34.8 |
17.7 |
2426146816 |
true |
33.8 |
11.0 |
2237431808 |
true |
35.7 |
9.94 |
2592448512 |
true |
35.3 |
8.46 |
2404786176 |
true |
21.0 |
21.0 |
1143373824 |
true |
34.5 |
17.5 |
2148134912 |
true |
37.2 |
10.6 |
2214715392 |
true |
36.3 |
8.15 |
2456485888 |
true |
36.6 |
7.04 |
2408742912 |
true |
21.8 |
21.9 |
1151483904 |
true |
34.6 |
17.5 |
2506326016 |
true |
37.9 |
10.6 |
2475634688 |
true |
37.4 |
7.75 |
2183589888 |
true |
39.2 |
6.86 |
2177781760 |
true |
21.8 |
21.9 |
1166233600 |
true |
34.3 |
17.5 |
2130432000 |
true |
37.8 |
10.5 |
2237202432 |
true |
37.7 |
7.86 |
2069348352 |
true |
39.7 |
6.65 |
2448756736 |
Problem04_label22_true-unreach-call.c |
true |
21.6 |
21.6 |
1126498304 |
true |
31.7 |
18.9 |
2334224384 |
true |
32.8 |
13.6 |
2460753920 |
true |
33.2 |
11.9 |
2242510848 |
true |
35.3 |
11.0 |
2270416896 |
true |
21.0 |
21.0 |
1114370048 |
true |
34.0 |
17.3 |
2263265280 |
true |
35.3 |
12.0 |
2245226496 |
true |
35.1 |
9.85 |
2206986240 |
true |
35.2 |
8.30 |
2440265728 |
true |
21.0 |
21.0 |
1135075328 |
true |
35.7 |
18.1 |
2422349824 |
true |
35.8 |
10.3 |
2445647872 |
true |
35.6 |
7.99 |
2208509952 |
true |
36.1 |
7.00 |
2242244608 |
true |
22.0 |
22.0 |
1111891968 |
true |
33.9 |
17.2 |
2163560448 |
true |
37.8 |
10.5 |
2369708032 |
true |
37.8 |
7.82 |
2244509696 |
true |
39.3 |
7.04 |
2445905920 |
true |
21.6 |
21.6 |
1155973120 |
true |
35.1 |
17.9 |
2309689344 |
true |
37.1 |
10.3 |
2212126720 |
true |
38.7 |
8.21 |
2107445248 |
true |
40.5 |
6.81 |
2471776256 |
Problem04_label23_true-unreach-call_false-termination.c |
true |
21.3 |
21.3 |
1109209088 |
true |
30.3 |
18.3 |
2401415168 |
true |
32.9 |
13.7 |
2465005568 |
true |
33.4 |
11.9 |
2193891328 |
true |
34.4 |
10.9 |
2321887232 |
true |
21.3 |
21.3 |
1127936000 |
true |
34.4 |
17.5 |
2446229504 |
true |
34.1 |
11.3 |
2312273920 |
true |
33.9 |
9.35 |
2430894080 |
true |
34.8 |
8.13 |
2238853120 |
true |
21.3 |
21.3 |
1121861632 |
true |
34.2 |
17.3 |
2181419008 |
true |
37.8 |
10.7 |
2413043712 |
true |
37.0 |
8.40 |
2443468800 |
true |
34.4 |
6.69 |
2282287104 |
true |
21.4 |
21.4 |
1107419136 |
true |
34.4 |
17.4 |
2363043840 |
true |
38.1 |
10.7 |
2216652800 |
true |
36.8 |
7.67 |
2207596544 |
true |
38.7 |
6.80 |
2126745600 |
true |
21.2 |
21.2 |
1138081792 |
true |
38.0 |
19.3 |
2326667264 |
true |
38.4 |
10.6 |
2090254336 |
true |
40.9 |
8.43 |
2493579264 |
true |
39.5 |
6.70 |
2337488896 |
Problem04_label24_true-unreach-call_false-termination.c |
true |
21.0 |
21.0 |
1127043072 |
true |
30.9 |
18.7 |
2367471616 |
true |
33.5 |
13.5 |
2366734336 |
true |
32.6 |
11.9 |
2402062336 |
true |
35.8 |
11.3 |
2306666496 |
true |
21.3 |
21.3 |
1113907200 |
true |
34.0 |
17.3 |
2179997696 |
true |
32.6 |
10.9 |
2400968704 |
true |
34.5 |
9.34 |
2267385856 |
true |
37.2 |
9.73 |
2371809280 |
true |
21.8 |
21.9 |
1141129216 |
true |
34.6 |
17.6 |
2524798976 |
true |
37.5 |
10.6 |
2156761088 |
true |
35.6 |
8.01 |
2161147904 |
true |
36.6 |
7.11 |
2306248704 |
true |
21.6 |
21.6 |
1120337920 |
true |
34.1 |
17.3 |
2419535872 |
true |
38.8 |
10.8 |
2275545088 |
true |
38.3 |
8.07 |
2255376384 |
true |
38.6 |
6.81 |
2169925632 |
true |
21.8 |
21.8 |
1152176128 |
true |
36.2 |
18.4 |
2353475584 |
true |
38.8 |
10.8 |
2296098816 |
true |
37.9 |
7.87 |
2463457280 |
true |
40.3 |
6.70 |
2360885248 |
Problem04_label25_true-unreach-call.c |
true |
20.9 |
20.9 |
1135837184 |
true |
31.5 |
18.7 |
2297339904 |
true |
32.4 |
13.6 |
2245021696 |
true |
33.5 |
11.9 |
2265559040 |
true |
35.0 |
10.9 |
2275049472 |
true |
21.9 |
21.9 |
1142988800 |
true |
34.6 |
17.6 |
2456596480 |
true |
34.0 |
11.2 |
2293727232 |
true |
38.2 |
11.0 |
2327257088 |
true |
36.2 |
8.70 |
2435239936 |
true |
21.9 |
21.9 |
1119240192 |
true |
35.0 |
17.8 |
2372374528 |
true |
38.4 |
10.8 |
2379784192 |
true |
35.4 |
8.29 |
2210865152 |
true |
37.9 |
7.54 |
2263662592 |
true |
21.5 |
21.5 |
1139056640 |
true |
37.1 |
18.8 |
2107441152 |
true |
36.7 |
10.3 |
2117775360 |
true |
37.5 |
7.73 |
2153795584 |
true |
38.5 |
6.79 |
2627817472 |
true |
21.6 |
21.6 |
1150824448 |
true |
35.6 |
18.1 |
2510778368 |
true |
37.5 |
10.5 |
2398134272 |
true |
38.3 |
7.95 |
2348527616 |
true |
40.2 |
6.74 |
2222632960 |
Problem04_label28_true-unreach-call.c |
true |
21.9 |
21.9 |
1121107968 |
true |
31.4 |
18.7 |
2209284096 |
true |
32.7 |
13.6 |
2464321536 |
true |
32.7 |
11.9 |
2519535616 |
true |
34.2 |
10.9 |
2331058176 |
true |
21.3 |
21.3 |
1112539136 |
true |
34.2 |
17.4 |
2189574144 |
true |
33.9 |
11.2 |
2343624704 |
true |
34.2 |
9.42 |
2352889856 |
true |
34.6 |
8.23 |
2368659456 |
true |
21.4 |
21.4 |
1121046528 |
true |
34.5 |
17.6 |
2461122560 |
true |
36.6 |
10.4 |
2370535424 |
true |
35.9 |
8.06 |
2129592320 |
true |
37.8 |
7.24 |
2219601920 |
true |
21.4 |
21.5 |
1109553152 |
true |
35.2 |
17.9 |
2428063744 |
true |
37.7 |
10.6 |
2203398144 |
true |
38.3 |
8.01 |
2398609408 |
true |
38.9 |
6.88 |
2179960832 |
true |
21.3 |
21.4 |
1123930112 |
true |
37.8 |
19.2 |
2115149824 |
true |
37.1 |
10.3 |
2076876800 |
true |
37.4 |
7.83 |
2289893376 |
true |
41.2 |
6.86 |
2518822912 |
Problem04_label29_true-unreach-call_false-termination.c |
true |
21.3 |
21.3 |
1117396992 |
true |
30.7 |
18.5 |
2352386048 |
true |
32.5 |
13.4 |
2200141824 |
true |
33.9 |
12.1 |
2306703360 |
true |
34.1 |
10.8 |
2315440128 |
true |
21.1 |
21.2 |
1142702080 |
true |
34.2 |
17.4 |
2421784576 |
true |
34.1 |
11.1 |
2144931840 |
true |
34.2 |
9.45 |
2286620672 |
true |
35.1 |
8.55 |
2456346624 |
true |
21.7 |
21.7 |
1154162688 |
true |
33.6 |
17.0 |
2236108800 |
true |
37.1 |
10.5 |
2203770880 |
true |
36.8 |
8.48 |
2282196992 |
true |
37.1 |
7.23 |
2357252096 |
true |
21.6 |
21.6 |
1115459584 |
true |
33.9 |
17.2 |
2251935744 |
true |
38.3 |
10.8 |
2172362752 |
true |
39.1 |
8.06 |
2113077248 |
true |
37.9 |
6.65 |
2115272704 |
true |
21.8 |
21.8 |
1124712448 |
true |
35.5 |
18.0 |
2468536320 |
true |
37.8 |
10.7 |
2467241984 |
true |
39.0 |
7.98 |
2106175488 |
true |
39.1 |
6.58 |
2173325312 |
Problem04_label30_true-unreach-call.c |
true |
21.9 |
21.9 |
1141104640 |
true |
30.2 |
18.2 |
2298568704 |
true |
33.3 |
13.7 |
2364227584 |
true |
33.7 |
12.1 |
2447204352 |
true |
34.9 |
10.8 |
2288787456 |
true |
21.4 |
21.4 |
1141981184 |
true |
34.0 |
17.2 |
2317320192 |
true |
34.3 |
11.1 |
2256785408 |
true |
34.7 |
9.35 |
2590113792 |
true |
39.1 |
10.3 |
2480029696 |
true |
21.6 |
21.6 |
1161084928 |
true |
37.4 |
19.0 |
2311606272 |
true |
37.9 |
10.6 |
2329907200 |
true |
35.4 |
8.04 |
2441113600 |
true |
37.9 |
7.38 |
2370232320 |
true |
21.9 |
22.0 |
1138171904 |
true |
35.4 |
18.0 |
2403033088 |
true |
36.9 |
10.3 |
2179153920 |
true |
36.8 |
7.60 |
2150006784 |
true |
38.1 |
6.81 |
2376519680 |
true |
21.3 |
21.3 |
1118605312 |
true |
36.9 |
18.7 |
2241445888 |
true |
38.7 |
10.8 |
2115371008 |
true |
38.5 |
7.91 |
2499944448 |
true |
38.6 |
6.60 |
2283417600 |
Problem04_label33_true-unreach-call.c |
true |
21.1 |
21.1 |
1112952832 |
true |
33.1 |
19.6 |
2377990144 |
true |
33.0 |
13.8 |
2289975296 |
true |
32.2 |
11.5 |
2209579008 |
true |
35.1 |
11.1 |
2273112064 |
true |
21.7 |
21.7 |
1161838592 |
true |
35.9 |
18.2 |
2389336064 |
true |
37.0 |
12.7 |
2194337792 |
true |
33.1 |
8.92 |
2636185600 |
true |
35.7 |
8.40 |
2265681920 |
true |
21.2 |
21.2 |
1132421120 |
true |
34.2 |
17.4 |
2189803520 |
true |
37.6 |
10.6 |
2196291584 |
true |
37.0 |
8.41 |
2236039168 |
true |
36.2 |
6.94 |
2252906496 |
true |
21.4 |
21.4 |
1113485312 |
true |
33.3 |
16.9 |
2144710656 |
true |
38.5 |
10.9 |
2435366912 |
true |
36.9 |
7.76 |
2159620096 |
true |
39.0 |
6.91 |
2206904320 |
true |
21.4 |
21.4 |
1148260352 |
true |
34.8 |
17.7 |
2424905728 |
true |
38.3 |
10.7 |
2098950144 |
true |
38.2 |
8.26 |
2312609792 |
true |
41.0 |
6.72 |
2276126720 |
Problem04_label34_true-unreach-call.c |
true |
21.4 |
21.5 |
1132072960 |
true |
30.2 |
18.3 |
2372050944 |
true |
33.4 |
13.7 |
2232877056 |
true |
34.6 |
12.0 |
2245939200 |
true |
35.1 |
11.2 |
2274553856 |
true |
21.8 |
21.8 |
1150312448 |
true |
33.7 |
17.1 |
2279251968 |
true |
35.8 |
11.6 |
2404487168 |
true |
33.6 |
9.07 |
2340483072 |
true |
36.2 |
8.45 |
2285015040 |
true |
21.4 |
21.4 |
1111818240 |
true |
33.9 |
17.2 |
2376306688 |
true |
35.6 |
10.2 |
2262110208 |
true |
37.0 |
8.34 |
2159411200 |
true |
36.6 |
7.14 |
2390564864 |
true |
21.8 |
21.8 |
1124564992 |
true |
34.3 |
17.4 |
2282479616 |
true |
36.2 |
10.3 |
2169114624 |
true |
38.1 |
7.81 |
2241736704 |
true |
38.4 |
6.81 |
2144653312 |
true |
21.5 |
21.5 |
1167593472 |
true |
33.6 |
17.1 |
2203455488 |
true |
37.8 |
10.6 |
2268647424 |
true |
38.4 |
7.90 |
2212823040 |
true |
38.2 |
6.39 |
2109116416 |
Problem04_label37_true-unreach-call_false-termination.c |
true |
21.5 |
21.5 |
1132060672 |
true |
30.0 |
18.2 |
2346635264 |
true |
33.8 |
13.8 |
2213883904 |
true |
31.7 |
11.8 |
2464342016 |
true |
33.9 |
10.8 |
2285170688 |
true |
21.4 |
21.4 |
1121067008 |
true |
34.3 |
17.4 |
2342240256 |
true |
34.2 |
11.2 |
2277175296 |
true |
35.9 |
9.53 |
2316894208 |
true |
35.0 |
8.21 |
2231263232 |
true |
21.8 |
21.8 |
1116651520 |
true |
34.0 |
17.3 |
2137919488 |
true |
37.1 |
10.3 |
2126147584 |
true |
38.3 |
8.73 |
2323529728 |
true |
37.4 |
7.43 |
2490646528 |
true |
22.4 |
22.4 |
1159892992 |
true |
35.8 |
18.1 |
2290479104 |
true |
37.5 |
10.4 |
2270277632 |
true |
39.3 |
8.06 |
2083250176 |
true |
37.4 |
6.65 |
2490552320 |
true |
21.6 |
21.6 |
1140121600 |
true |
35.5 |
18.0 |
2404622336 |
true |
38.5 |
10.9 |
2286190592 |
true |
38.4 |
7.96 |
2301865984 |
true |
41.5 |
6.93 |
2181304320 |
Problem04_label41_true-unreach-call.c |
true |
21.6 |
21.6 |
1138290688 |
true |
31.2 |
18.8 |
2426060800 |
true |
32.9 |
13.0 |
2621960192 |
true |
34.2 |
11.9 |
2254872576 |
true |
35.6 |
11.4 |
2304552960 |
true |
21.4 |
21.4 |
1130516480 |
true |
34.0 |
17.2 |
2145681408 |
true |
33.9 |
11.1 |
2242453504 |
true |
34.6 |
9.46 |
2296176640 |
true |
35.5 |
8.46 |
2301583360 |
true |
21.6 |
21.7 |
1153282048 |
true |
33.8 |
17.2 |
2320363520 |
true |
37.0 |
10.3 |
2259795968 |
true |
39.0 |
8.61 |
2670600192 |
true |
36.2 |
7.29 |
2455744512 |
true |
21.8 |
21.8 |
1128353792 |
true |
35.4 |
17.9 |
2157912064 |
true |
37.3 |
10.4 |
2134798336 |
true |
37.9 |
8.07 |
2230001664 |
true |
39.2 |
6.82 |
2167189504 |
true |
21.5 |
21.5 |
1142300672 |
true |
34.8 |
17.6 |
2354450432 |
true |
39.3 |
10.9 |
2330902528 |
true |
38.7 |
8.23 |
2110709760 |
true |
41.3 |
6.98 |
2226905088 |
Problem04_label42_true-unreach-call_false-termination.c |
true |
20.8 |
20.8 |
1102528512 |
true |
31.5 |
18.8 |
2367160320 |
true |
31.7 |
13.6 |
2439540736 |
true |
33.6 |
11.9 |
2208419840 |
true |
33.9 |
10.9 |
2305355776 |
true |
22.0 |
22.0 |
1135042560 |
true |
33.8 |
17.2 |
2217820160 |
true |
33.6 |
11.0 |
2259070976 |
true |
34.4 |
9.48 |
2406625280 |
true |
34.1 |
8.38 |
2239352832 |
true |
21.2 |
21.2 |
1109364736 |
true |
36.1 |
18.3 |
2449571840 |
true |
36.6 |
10.3 |
2119692288 |
true |
35.1 |
8.03 |
2357723136 |
true |
36.6 |
6.97 |
2417233920 |
true |
21.4 |
21.4 |
1135280128 |
true |
35.5 |
18.0 |
2342219776 |
true |
37.7 |
10.6 |
2343800832 |
true |
38.3 |
7.88 |
2104594432 |
true |
38.1 |
6.75 |
2200604672 |
true |
21.4 |
21.4 |
1164247040 |
true |
36.6 |
18.7 |
2348519424 |
true |
37.6 |
10.6 |
2177519616 |
true |
37.3 |
7.68 |
2340446208 |
true |
39.5 |
6.67 |
2259984384 |
Problem04_label43_true-unreach-call_false-termination.c |
true |
22.8 |
22.8 |
1125228544 |
true |
31.0 |
18.8 |
2315927552 |
true |
33.6 |
13.9 |
2284048384 |
true |
34.2 |
12.2 |
2455048192 |
true |
34.4 |
11.1 |
2325196800 |
true |
21.6 |
21.6 |
1118457856 |
true |
35.0 |
17.7 |
2389381120 |
true |
37.2 |
13.0 |
2527485952 |
true |
35.1 |
9.61 |
2363441152 |
true |
35.9 |
8.52 |
2507337728 |
true |
21.0 |
21.0 |
1108389888 |
true |
35.2 |
17.9 |
2399858688 |
true |
38.5 |
10.8 |
2467463168 |
true |
36.7 |
8.30 |
2125238272 |
true |
36.0 |
7.07 |
2259714048 |
true |
21.6 |
21.6 |
1099952128 |
true |
34.3 |
17.4 |
2169233408 |
true |
39.5 |
10.9 |
2290667520 |
true |
38.0 |
7.81 |
2326392832 |
true |
39.4 |
6.96 |
2204413952 |
true |
22.3 |
22.4 |
1135329280 |
true |
35.0 |
17.8 |
2270232576 |
true |
37.6 |
10.7 |
2208210944 |
true |
37.3 |
7.72 |
2242379776 |
true |
39.8 |
6.79 |
2225549312 |
Problem04_label44_true-unreach-call_false-termination.c |
true |
21.5 |
21.5 |
1120235520 |
true |
30.7 |
18.6 |
2376192000 |
true |
33.7 |
13.8 |
2192158720 |
true |
33.3 |
11.9 |
2303492096 |
true |
34.9 |
11.0 |
2273316864 |
true |
21.1 |
21.1 |
1120759808 |
true |
33.9 |
17.2 |
2183294976 |
true |
33.5 |
11.2 |
2518028288 |
true |
33.3 |
9.06 |
2350264320 |
true |
35.8 |
8.55 |
2260357120 |
true |
21.5 |
21.5 |
1122299904 |
true |
33.9 |
17.2 |
2164903936 |
true |
38.4 |
10.9 |
2301255680 |
true |
35.6 |
8.03 |
2231603200 |
true |
37.4 |
7.19 |
2940317696 |
true |
21.5 |
21.5 |
1107218432 |
true |
36.0 |
18.3 |
2210795520 |
true |
37.5 |
10.6 |
2245849088 |
true |
37.8 |
7.84 |
2120953856 |
true |
38.0 |
6.74 |
2454126592 |
true |
21.7 |
21.7 |
1154891776 |
true |
35.6 |
18.1 |
2229911552 |
true |
37.6 |
10.6 |
2185547776 |
true |
38.8 |
8.19 |
2180222976 |
true |
39.8 |
6.63 |
2130247680 |
Problem04_label46_true-unreach-call_false-termination.c |
true |
21.4 |
21.4 |
1135218688 |
true |
31.7 |
18.9 |
2287894528 |
true |
32.5 |
13.5 |
2236239872 |
true |
32.9 |
12.2 |
2554322944 |
true |
36.2 |
11.2 |
2301276160 |
true |
21.8 |
21.8 |
1130102784 |
true |
33.7 |
17.1 |
2475102208 |
true |
33.0 |
10.8 |
2236649472 |
true |
35.0 |
9.66 |
2358816768 |
true |
35.0 |
8.29 |
2474184704 |
true |
21.6 |
21.6 |
1141149696 |
true |
34.1 |
17.3 |
2137280512 |
true |
37.1 |
10.6 |
2238390272 |
true |
36.3 |
8.43 |
2267635712 |
true |
37.1 |
7.31 |
2334527488 |
true |
22.1 |
22.1 |
1125834752 |
true |
35.7 |
18.2 |
2370920448 |
true |
36.3 |
10.3 |
2166759424 |
true |
39.0 |
8.07 |
2229653504 |
true |
37.7 |
6.70 |
2453012480 |
true |
21.6 |
21.6 |
1139462144 |
true |
37.8 |
19.2 |
2207666176 |
true |
39.7 |
11.1 |
2279677952 |
true |
37.4 |
7.91 |
2189004800 |
true |
39.6 |
6.62 |
2142986240 |
Problem04_label47_true-unreach-call.c |
true |
21.3 |
21.3 |
1148768256 |
true |
30.4 |
18.3 |
2397270016 |
true |
34.2 |
14.1 |
2246926336 |
true |
34.1 |
12.3 |
2308427776 |
true |
34.1 |
11.1 |
2309156864 |
true |
20.6 |
20.6 |
1100795904 |
true |
34.4 |
17.5 |
2284888064 |
true |
33.9 |
11.0 |
2191917056 |
true |
34.5 |
9.47 |
2368737280 |
true |
35.1 |
8.27 |
2326183936 |
true |
21.3 |
21.3 |
1106026496 |
true |
33.7 |
17.1 |
2205163520 |
true |
37.0 |
10.5 |
2319945728 |
true |
37.6 |
8.60 |
2283638784 |
true |
37.3 |
7.39 |
2316783616 |
true |
21.7 |
21.8 |
1117704192 |
true |
35.7 |
18.1 |
2246922240 |
true |
38.7 |
10.8 |
2314964992 |
true |
38.0 |
7.93 |
2174332928 |
true |
37.3 |
6.62 |
2312183808 |
true |
21.1 |
21.2 |
1111830528 |
true |
37.3 |
18.9 |
2193747968 |
true |
38.3 |
10.7 |
2180390912 |
true |
41.0 |
8.29 |
2362368000 |
true |
39.1 |
6.58 |
2299478016 |
Problem04_label48_true-unreach-call.c |
true |
22.4 |
22.4 |
1155076096 |
true |
32.6 |
19.6 |
2438955008 |
true |
33.8 |
13.6 |
2305118208 |
true |
32.5 |
11.8 |
2448142336 |
true |
34.4 |
11.1 |
2305486848 |
true |
21.3 |
21.3 |
1140244480 |
true |
34.5 |
17.5 |
2191015936 |
true |
34.0 |
11.1 |
2236751872 |
true |
35.1 |
9.51 |
2360197120 |
true |
35.1 |
8.49 |
2573230080 |
true |
22.0 |
22.0 |
1168134144 |
true |
35.0 |
17.8 |
2506280960 |
true |
38.0 |
10.7 |
2123902976 |
true |
34.6 |
7.77 |
2253828096 |
true |
36.6 |
7.10 |
2303160320 |
true |
21.3 |
21.3 |
1126555648 |
true |
34.7 |
17.6 |
2306666496 |
true |
38.1 |
10.6 |
2159865856 |
true |
37.3 |
7.76 |
2164789248 |
true |
38.7 |
6.94 |
2179780608 |
true |
21.8 |
21.8 |
1125089280 |
true |
34.6 |
17.5 |
2204098560 |
true |
37.9 |
10.5 |
2200633344 |
true |
38.2 |
7.89 |
2285797376 |
true |
39.3 |
6.52 |
2115203072 |
Problem04_label49_true-unreach-call_false-termination.c |
true |
21.2 |
21.2 |
1138184192 |
true |
32.2 |
19.2 |
2335821824 |
true |
32.8 |
13.5 |
2212319232 |
true |
32.2 |
11.5 |
2268704768 |
true |
34.3 |
10.9 |
2310500352 |
true |
22.0 |
22.0 |
1123569664 |
true |
35.2 |
17.9 |
2394132480 |
true |
33.4 |
10.9 |
2244251648 |
true |
33.4 |
9.26 |
2395590656 |
true |
34.8 |
8.22 |
2311884800 |
true |
21.4 |
21.5 |
1135869952 |
true |
35.1 |
17.8 |
2517954560 |
true |
36.9 |
10.4 |
2210189312 |
true |
35.2 |
7.99 |
2292142080 |
true |
39.6 |
8.02 |
2501447680 |
true |
21.7 |
21.7 |
1116418048 |
true |
35.3 |
17.9 |
2111025152 |
true |
37.2 |
10.4 |
2089762816 |
true |
37.9 |
7.80 |
2209394688 |
true |
37.2 |
6.61 |
2211057664 |
true |
21.8 |
21.8 |
1118523392 |
true |
34.2 |
17.3 |
2179235840 |
true |
39.1 |
11.0 |
2237714432 |
true |
39.7 |
8.12 |
2224857088 |
true |
39.6 |
6.57 |
2200846336 |
Problem04_label50_true-unreach-call.c |
true |
21.3 |
21.3 |
1114132480 |
true |
31.6 |
19.0 |
2357456896 |
true |
33.4 |
13.9 |
2491932672 |
true |
34.6 |
12.2 |
2353561600 |
true |
34.4 |
11.1 |
2367508480 |
true |
21.8 |
21.8 |
1134538752 |
true |
34.9 |
17.7 |
2351054848 |
true |
34.1 |
11.2 |
2314526720 |
true |
33.8 |
9.25 |
2292580352 |
true |
35.8 |
8.34 |
2342211584 |
true |
22.3 |
22.3 |
1118449664 |
true |
34.9 |
17.7 |
2325880832 |
true |
36.3 |
10.3 |
2154188800 |
true |
37.1 |
8.38 |
2158026752 |
true |
37.8 |
7.39 |
2534989824 |
true |
21.3 |
21.4 |
1130020864 |
true |
36.1 |
18.4 |
2150268928 |
true |
37.9 |
10.7 |
2170945536 |
true |
38.9 |
8.17 |
2180366336 |
true |
38.9 |
6.85 |
2391732224 |
true |
21.1 |
21.1 |
1147305984 |
true |
35.9 |
18.2 |
2086567936 |
true |
37.9 |
10.7 |
2424365056 |
true |
38.9 |
8.03 |
2329636864 |
true |
39.1 |
6.56 |
2120679424 |
Problem04_label51_true-unreach-call.c |
true |
21.9 |
21.9 |
1124634624 |
true |
30.0 |
18.1 |
2290016256 |
true |
33.0 |
13.5 |
2360766464 |
true |
33.2 |
12.2 |
2494083072 |
true |
35.7 |
11.6 |
2412511232 |
true |
21.5 |
21.5 |
1150713856 |
true |
34.4 |
17.5 |
2361282560 |
true |
37.7 |
12.8 |
2423824384 |
true |
36.9 |
10.7 |
2395422720 |
true |
35.0 |
8.29 |
2371420160 |
true |
21.4 |
21.4 |
1123110912 |
true |
34.7 |
17.6 |
2241970176 |
true |
37.1 |
10.6 |
2200276992 |
true |
35.1 |
8.13 |
2298613760 |
true |
36.8 |
7.10 |
2330267648 |
true |
21.6 |
21.7 |
1114853376 |
true |
34.0 |
17.2 |
2369552384 |
true |
37.5 |
10.5 |
2233376768 |
true |
38.7 |
8.00 |
2288680960 |
true |
38.9 |
6.90 |
2434686976 |
true |
21.9 |
21.9 |
1110478848 |
true |
34.8 |
17.6 |
2171715584 |
true |
39.2 |
11.0 |
2271883264 |
true |
36.7 |
7.61 |
2111688704 |
true |
41.5 |
6.88 |
2401648640 |
Problem04_label53_true-unreach-call.c |
true |
21.3 |
21.3 |
1100689408 |
true |
30.1 |
18.1 |
2232582144 |
true |
34.0 |
13.7 |
2203328512 |
true |
33.7 |
12.0 |
2220888064 |
true |
34.9 |
11.3 |
2371211264 |
true |
21.3 |
21.3 |
1119813632 |
true |
34.5 |
17.5 |
2133479424 |
true |
34.8 |
11.9 |
2496819200 |
true |
34.0 |
9.21 |
2274123776 |
true |
35.4 |
8.52 |
2489225216 |
true |
21.4 |
21.4 |
1167163392 |
true |
34.3 |
17.4 |
2299928576 |
true |
37.8 |
10.8 |
2698858496 |
true |
35.2 |
8.08 |
2162847744 |
true |
37.5 |
7.30 |
2396553216 |
true |
22.3 |
22.3 |
1163145216 |
true |
35.6 |
18.1 |
2231402496 |
true |
38.1 |
10.7 |
2329890816 |
true |
40.3 |
8.37 |
2331107328 |
true |
39.4 |
7.01 |
2184777728 |
true |
21.2 |
21.2 |
1114894336 |
true |
38.5 |
19.5 |
2165317632 |
true |
38.8 |
10.9 |
2313846784 |
true |
37.8 |
7.95 |
2114379776 |
true |
39.5 |
6.53 |
2159112192 |
Problem04_label54_true-unreach-call.c |
true |
21.7 |
21.7 |
1106980864 |
true |
30.8 |
18.6 |
2381168640 |
true |
33.9 |
14.1 |
2456653824 |
true |
32.6 |
11.7 |
2239188992 |
true |
34.4 |
10.9 |
2313449472 |
true |
21.8 |
21.8 |
1110253568 |
true |
36.0 |
18.2 |
2312695808 |
true |
33.9 |
11.3 |
2364280832 |
true |
33.2 |
9.09 |
2275434496 |
true |
35.5 |
8.30 |
2281345024 |
true |
21.2 |
21.2 |
1155473408 |
true |
34.3 |
17.5 |
2296164352 |
true |
37.1 |
10.6 |
2234904576 |
true |
39.1 |
8.98 |
2359418880 |
true |
36.9 |
7.10 |
2155339776 |
true |
20.9 |
20.9 |
1104863232 |
true |
36.6 |
18.6 |
2239291392 |
true |
37.4 |
10.5 |
2319835136 |
true |
38.5 |
7.97 |
2336935936 |
true |
40.3 |
7.15 |
2173239296 |
true |
21.3 |
21.3 |
1109573632 |
true |
36.3 |
18.4 |
2398027776 |
true |
38.0 |
10.6 |
2352504832 |
true |
38.5 |
8.07 |
2214830080 |
true |
40.9 |
7.00 |
2563842048 |
Problem04_label56_true-unreach-call.c |
true |
21.8 |
21.8 |
1150963712 |
true |
31.6 |
19.0 |
2405179392 |
true |
31.3 |
13.2 |
2426568704 |
true |
34.1 |
12.1 |
2444849152 |
true |
35.5 |
11.0 |
2307952640 |
true |
21.0 |
21.0 |
1120100352 |
true |
34.0 |
17.3 |
2371416064 |
true |
33.7 |
11.1 |
2202017792 |
true |
33.6 |
9.09 |
2235510784 |
true |
35.5 |
8.61 |
2500014080 |
true |
22.2 |
22.2 |
1147174912 |
true |
36.3 |
18.4 |
2320949248 |
true |
38.1 |
10.7 |
2326568960 |
true |
34.7 |
7.84 |
2326568960 |
true |
36.2 |
7.02 |
2270400512 |
true |
21.7 |
21.7 |
1131241472 |
true |
34.3 |
17.5 |
2466852864 |
true |
38.3 |
10.7 |
2094198784 |
true |
37.8 |
8.00 |
2211164160 |
true |
38.9 |
6.84 |
2110349312 |
true |
21.0 |
21.0 |
1105833984 |
true |
34.3 |
17.4 |
2223464448 |
true |
37.5 |
10.6 |
2193612800 |
true |
41.8 |
8.49 |
2505515008 |
true |
39.0 |
6.53 |
2220519424 |
Problem04_label57_true-unreach-call_false-termination.c |
true |
21.1 |
21.1 |
1123508224 |
true |
32.3 |
19.3 |
2424209408 |
true |
32.9 |
13.8 |
2458865664 |
true |
33.1 |
11.8 |
2467549184 |
true |
34.2 |
11.0 |
2359533568 |
true |
21.7 |
21.8 |
1108000768 |
true |
34.0 |
17.3 |
2281824256 |
true |
36.8 |
12.5 |
2243833856 |
true |
33.9 |
9.49 |
2552115200 |
true |
36.0 |
8.54 |
2312794112 |
true |
21.2 |
21.2 |
1140412416 |
true |
37.8 |
19.2 |
2235740160 |
true |
37.7 |
10.5 |
2131546112 |
true |
38.6 |
8.48 |
2258194432 |
true |
36.7 |
7.04 |
2176724992 |
true |
21.4 |
21.5 |
1122377728 |
true |
35.6 |
18.1 |
2250305536 |
true |
37.5 |
10.5 |
2285707264 |
true |
38.1 |
7.81 |
2112307200 |
true |
38.7 |
6.81 |
2170486784 |
true |
21.9 |
22.0 |
1195950080 |
true |
34.8 |
17.7 |
2213969920 |
true |
39.6 |
11.0 |
2287673344 |
true |
37.4 |
7.77 |
2298671104 |
true |
41.0 |
6.96 |
2224951296 |
Problem04_label59_true-unreach-call.c |
true |
22.3 |
22.3 |
1108328448 |
true |
31.7 |
19.1 |
2382278656 |
true |
32.3 |
13.4 |
2366476288 |
true |
33.0 |
11.8 |
2244943872 |
true |
35.1 |
11.1 |
2284552192 |
true |
21.4 |
21.4 |
1168846848 |
true |
34.0 |
17.2 |
2250846208 |
true |
34.1 |
11.2 |
2275426304 |
true |
34.7 |
9.55 |
2552938496 |
true |
35.7 |
8.61 |
2387066880 |
true |
21.5 |
21.5 |
1124286464 |
true |
35.7 |
18.1 |
2393104384 |
true |
36.7 |
10.4 |
2174984192 |
true |
37.7 |
8.61 |
2266996736 |
true |
35.7 |
7.02 |
2472923136 |
true |
21.5 |
21.5 |
1126305792 |
true |
34.5 |
17.5 |
2209288192 |
true |
38.6 |
10.8 |
2311122944 |
true |
38.3 |
7.86 |
2256392192 |
true |
39.4 |
6.85 |
2304393216 |
true |
20.8 |
20.8 |
1106694144 |
true |
34.4 |
17.5 |
2406191104 |
true |
38.0 |
10.5 |
2349625344 |
true |
38.7 |
7.91 |
2231189504 |
true |
39.3 |
6.59 |
2189225984 |
Problem05_label02_true-unreach-call.c |
true |
45.9 |
45.9 |
2412163072 |
true |
71.8 |
47.2 |
4902707200 |
true |
77.9 |
37.0 |
4987432960 |
true |
74.6 |
33.2 |
5118087168 |
true |
79.0 |
33.9 |
5641363456 |
true |
45.9 |
46.0 |
2483949568 |
true |
98.5 |
49.8 |
5382868992 |
true |
92.8 |
32.4 |
5462843392 |
true |
89.1 |
29.2 |
5223833600 |
true |
81.2 |
22.2 |
5156728832 |
true |
45.4 |
45.4 |
2451890176 |
true |
100 |
50.6 |
5472768000 |
true |
99.8 |
27.1 |
5420417024 |
true |
95.2 |
21.8 |
5058379776 |
true |
87.1 |
17.6 |
5084389376 |
true |
47.8 |
47.9 |
2463416320 |
true |
103 |
52.0 |
5415718912 |
true |
110 |
29.6 |
5222592512 |
true |
114 |
21.6 |
5114040320 |
true |
106 |
18.1 |
5048881152 |
true |
46.5 |
46.5 |
2439974912 |
true |
111 |
56.0 |
5358063616 |
true |
87.7 |
23.9 |
4950867968 |
true |
121 |
22.7 |
5184450560 |
true |
115 |
17.4 |
5179846656 |
Problem05_label03_true-unreach-call.c |
true |
47.4 |
47.4 |
2469822464 |
true |
75.5 |
50.6 |
4963262464 |
true |
75.2 |
37.0 |
5128368128 |
true |
73.3 |
32.9 |
5167198208 |
true |
82.4 |
36.8 |
5596622848 |
true |
45.3 |
45.3 |
2418221056 |
true |
93.1 |
47.1 |
4931387392 |
true |
82.1 |
30.1 |
5264211968 |
true |
75.0 |
22.2 |
4991717376 |
true |
75.5 |
20.3 |
5452443648 |
true |
46.7 |
46.7 |
2402312192 |
true |
102 |
51.4 |
5489254400 |
true |
103 |
28.3 |
5158572032 |
true |
95.2 |
21.8 |
5132300288 |
true |
99.4 |
20.6 |
5488009216 |
true |
45.5 |
45.5 |
2462949376 |
true |
106 |
53.5 |
5408894976 |
true |
108 |
28.9 |
5124354048 |
true |
107 |
20.2 |
5065629696 |
true |
113 |
19.1 |
5240033280 |
true |
45.0 |
45.0 |
2403614720 |
true |
114 |
57.5 |
5242220544 |
true |
115 |
30.7 |
5243707392 |
true |
125 |
23.3 |
5093945344 |
true |
135 |
19.7 |
5385347072 |
Problem05_label04_true-unreach-call.c |
true |
47.5 |
47.5 |
2428276736 |
true |
76.9 |
51.3 |
4995960832 |
true |
78.2 |
38.9 |
5321494528 |
true |
80.3 |
36.0 |
5475340288 |
true |
77.9 |
32.0 |
5359890432 |
true |
46.0 |
46.1 |
2406940672 |
true |
96.0 |
48.6 |
5314523136 |
true |
81.4 |
29.3 |
4985290752 |
true |
77.2 |
23.7 |
5399318528 |
true |
81.7 |
22.5 |
5393354752 |
true |
45.7 |
45.7 |
2410766336 |
true |
99.3 |
50.2 |
4974043136 |
true |
102 |
27.5 |
5362073600 |
true |
87.5 |
19.9 |
5098233856 |
true |
100 |
21.0 |
5554827264 |
true |
46.7 |
46.7 |
2474303488 |
true |
107 |
54.2 |
5329100800 |
true |
120 |
31.9 |
5421809664 |
true |
110 |
20.9 |
5138350080 |
true |
112 |
19.1 |
5236899840 |
true |
46.9 |
46.9 |
2485829632 |
true |
115 |
58.0 |
5256663040 |
true |
123 |
32.6 |
5414768640 |
true |
113 |
21.4 |
5202636800 |
true |
122 |
18.0 |
5031542784 |
Problem05_label05_true-unreach-call.c |
true |
45.4 |
45.4 |
2424782848 |
true |
74.8 |
50.2 |
5055008768 |
true |
78.5 |
40.8 |
5465296896 |
true |
75.8 |
34.3 |
5370122240 |
true |
78.5 |
32.5 |
5424529408 |
true |
45.9 |
45.9 |
2464780288 |
true |
95.8 |
48.5 |
5337210880 |
true |
79.2 |
28.2 |
5115293696 |
true |
82.7 |
25.9 |
5467009024 |
true |
75.7 |
20.1 |
5044609024 |
true |
47.0 |
47.0 |
2437619712 |
true |
78.3 |
39.7 |
5073690624 |
true |
94.2 |
25.9 |
5072343040 |
true |
91.1 |
20.8 |
5043740672 |
true |
100 |
20.7 |
5142810624 |
true |
46.2 |
46.2 |
2485923840 |
true |
109 |
55.0 |
5285912576 |
true |
103 |
27.8 |
5079621632 |
true |
113 |
21.4 |
5101199360 |
true |
116 |
19.6 |
5384237056 |
true |
46.7 |
46.7 |
2411573248 |
true |
114 |
57.5 |
5353320448 |
true |
121 |
32.2 |
5393006592 |
true |
115 |
21.5 |
5172199424 |
true |
133 |
19.3 |
5187457024 |
Problem05_label06_true-unreach-call.c |
true |
46.2 |
46.2 |
2458460160 |
true |
76.0 |
50.9 |
5046149120 |
true |
78.8 |
37.7 |
5141323776 |
true |
77.1 |
34.8 |
5088153600 |
true |
80.9 |
33.5 |
5599625216 |
true |
45.6 |
45.6 |
2435489792 |
true |
78.0 |
39.5 |
5020282880 |
true |
74.7 |
26.2 |
5414051840 |
true |
76.6 |
23.4 |
5295566848 |
true |
86.8 |
25.4 |
5642547200 |
true |
44.7 |
44.7 |
2425315328 |
true |
101 |
51.2 |
5303754752 |
true |
100 |
27.3 |
5240643584 |
true |
99.7 |
22.9 |
5377957888 |
true |
93.0 |
18.9 |
5517221888 |
true |
44.9 |
45.0 |
2465968128 |
true |
104 |
52.8 |
4832620544 |
true |
109 |
29.4 |
5076807680 |
true |
83.7 |
16.4 |
4887187456 |
true |
101 |
17.5 |
5319823360 |
true |
45.7 |
45.7 |
2422587392 |
true |
109 |
55.0 |
5388132352 |
true |
123 |
32.6 |
4976631808 |
true |
120 |
22.5 |
5067862016 |
true |
115 |
17.3 |
5319950336 |
Problem05_label07_true-unreach-call.c |
true |
44.8 |
44.9 |
2504888320 |
true |
72.5 |
47.4 |
4968689664 |
true |
73.9 |
36.1 |
5070929920 |
true |
74.6 |
33.3 |
5189234688 |
true |
81.4 |
37.0 |
5538250752 |
true |
46.8 |
46.8 |
2472763392 |
true |
93.7 |
47.3 |
5371408384 |
true |
80.1 |
28.6 |
5291724800 |
true |
81.9 |
25.6 |
5486825472 |
true |
81.7 |
23.0 |
5416726528 |
true |
46.8 |
46.8 |
2423730176 |
true |
101 |
51.3 |
5347729408 |
true |
90.6 |
24.9 |
4920852480 |
true |
95.3 |
21.8 |
5369905152 |
true |
94.9 |
19.1 |
5272399872 |
true |
46.9 |
46.9 |
2428399616 |
true |
103 |
52.0 |
5254238208 |
true |
109 |
29.2 |
5413052416 |
true |
111 |
20.9 |
4923289600 |
true |
107 |
18.1 |
5093019648 |
true |
47.2 |
47.2 |
2408185856 |
true |
79.5 |
40.3 |
4951740416 |
true |
117 |
31.2 |
5216387072 |
true |
124 |
23.1 |
5276086272 |
true |
127 |
18.6 |
5202178048 |
Problem05_label08_true-unreach-call.c |
true |
47.3 |
47.3 |
2447273984 |
true |
74.3 |
49.9 |
5084721152 |
true |
75.0 |
37.3 |
5125648384 |
true |
75.0 |
33.8 |
5196431360 |
true |
76.9 |
31.5 |
5351124992 |
true |
45.4 |
45.4 |
2458435584 |
true |
98.6 |
49.8 |
5224562688 |
true |
85.5 |
30.5 |
5160775680 |
true |
90.3 |
30.5 |
5577404416 |
true |
78.5 |
21.2 |
5007474688 |
true |
45.9 |
45.9 |
2459504640 |
true |
94.8 |
48.0 |
4993994752 |
true |
94.9 |
26.0 |
4998705152 |
true |
99.5 |
22.9 |
5324652544 |
true |
94.9 |
19.2 |
5464834048 |
true |
46.2 |
46.2 |
2455044096 |
true |
109 |
55.3 |
5493514240 |
true |
116 |
31.0 |
5139001344 |
true |
110 |
20.7 |
5182943232 |
true |
118 |
20.1 |
5437689856 |
true |
47.2 |
47.2 |
2462478336 |
true |
112 |
56.7 |
5369663488 |
true |
111 |
29.9 |
4910452736 |
true |
109 |
20.7 |
4763394048 |
true |
111 |
16.9 |
5007872000 |
Problem05_label09_true-unreach-call.c |
true |
45.4 |
45.4 |
2455891968 |
true |
75.3 |
50.4 |
5155946496 |
true |
76.2 |
36.8 |
4975259648 |
true |
74.4 |
32.8 |
5116420096 |
true |
78.6 |
33.6 |
5353492480 |
true |
45.9 |
45.9 |
2469548032 |
true |
78.2 |
39.6 |
5083578368 |
true |
88.0 |
31.9 |
5203247104 |
true |
82.1 |
26.2 |
5423394816 |
true |
82.4 |
23.3 |
5179052032 |
true |
46.7 |
46.7 |
2439041024 |
true |
78.6 |
39.9 |
5035487232 |
true |
105 |
28.5 |
5253857280 |
true |
94.3 |
21.6 |
5078507520 |
true |
90.6 |
18.4 |
5383168000 |
true |
44.8 |
44.8 |
2474209280 |
true |
106 |
53.4 |
5301256192 |
true |
114 |
30.4 |
5644070912 |
true |
111 |
20.9 |
4911276032 |
true |
97.7 |
16.6 |
5273960448 |
true |
45.6 |
45.7 |
2415591424 |
true |
120 |
60.3 |
5263118336 |
true |
112 |
30.0 |
5495119872 |
true |
122 |
23.0 |
5014511616 |
true |
110 |
16.7 |
5031067648 |
Problem05_label10_true-unreach-call.c |
true |
45.5 |
45.5 |
2482831360 |
true |
79.2 |
52.3 |
5537099776 |
true |
82.6 |
39.3 |
5266845696 |
true |
73.8 |
32.8 |
5095497728 |
true |
76.8 |
31.8 |
5349056512 |
true |
47.4 |
47.5 |
2457927680 |
true |
96.5 |
48.9 |
5427380224 |
true |
84.3 |
30.7 |
5449371648 |
true |
87.4 |
28.2 |
5419778048 |
true |
83.9 |
24.2 |
5586046976 |
true |
45.2 |
45.2 |
2414682112 |
true |
101 |
51.0 |
5312552960 |
true |
102 |
27.8 |
5479698432 |
true |
100 |
23.1 |
5396115456 |
true |
97.5 |
19.9 |
5347622912 |
true |
46.4 |
46.4 |
2457481216 |
true |
104 |
52.4 |
5258223616 |
true |
117 |
31.3 |
5165871104 |
true |
106 |
20.2 |
5321363456 |
true |
105 |
17.9 |
5068873728 |
true |
44.9 |
45.0 |
2428727296 |
true |
117 |
59.1 |
5013807104 |
true |
122 |
32.4 |
5179465728 |
true |
119 |
22.3 |
4938620928 |
true |
120 |
17.7 |
5168795648 |
Problem05_label12_true-unreach-call.c |
true |
45.9 |
45.9 |
2430324736 |
true |
74.2 |
49.9 |
5468110848 |
true |
75.5 |
37.8 |
5191053312 |
true |
73.0 |
32.3 |
5605502976 |
true |
77.1 |
32.2 |
5356769280 |
true |
45.6 |
45.6 |
2419609600 |
true |
96.7 |
48.9 |
5089198080 |
true |
82.7 |
30.2 |
5068427264 |
true |
83.6 |
27.0 |
5458681856 |
true |
91.1 |
27.1 |
5865439232 |
true |
44.7 |
44.7 |
2487246848 |
true |
96.2 |
48.7 |
5339869184 |
true |
101 |
27.5 |
5231747072 |
true |
90.0 |
20.5 |
5150212096 |
true |
105 |
22.0 |
5643493376 |
true |
45.3 |
45.3 |
2435690496 |
true |
109 |
55.0 |
5389320192 |
true |
111 |
29.6 |
5237170176 |
true |
112 |
21.3 |
5040967680 |
true |
112 |
19.2 |
5106954240 |
true |
46.0 |
46.0 |
2416787456 |
true |
114 |
57.5 |
5339336704 |
true |
113 |
30.3 |
5253943296 |
true |
124 |
23.3 |
5295292416 |
true |
123 |
18.0 |
5440323584 |
Problem05_label14_true-unreach-call.c |
true |
47.1 |
47.1 |
2451947520 |
true |
73.8 |
49.4 |
5111824384 |
true |
76.6 |
37.4 |
5228363776 |
true |
73.8 |
32.7 |
5019729920 |
true |
75.6 |
30.8 |
5086486528 |
true |
46.2 |
46.2 |
2427543552 |
true |
98.1 |
49.6 |
5280755712 |
true |
87.7 |
32.2 |
5287395328 |
true |
78.0 |
24.0 |
5503578112 |
true |
78.2 |
21.1 |
5511712768 |
true |
45.9 |
45.9 |
2469421056 |
true |
99.1 |
50.0 |
5436891136 |
true |
103 |
27.8 |
5178798080 |
true |
90.4 |
20.7 |
5005004800 |
true |
89.6 |
18.3 |
5427052544 |
true |
46.7 |
46.7 |
2503311360 |
true |
104 |
52.5 |
5365596160 |
true |
109 |
29.3 |
5195177984 |
true |
107 |
20.3 |
5545467904 |
true |
118 |
20.0 |
5444657152 |
true |
46.8 |
46.8 |
2391334912 |
true |
115 |
58.3 |
5120557056 |
true |
108 |
29.1 |
4980097024 |
true |
85.3 |
16.7 |
4966191104 |
true |
112 |
17.1 |
5215485952 |
Problem05_label16_true-unreach-call.c |
true |
45.7 |
45.7 |
2450010112 |
true |
75.2 |
50.1 |
5040922624 |
true |
79.5 |
38.1 |
5254660096 |
true |
73.0 |
32.4 |
5044281344 |
true |
79.8 |
33.1 |
5491851264 |
true |
45.9 |
46.0 |
2431029248 |
true |
95.5 |
48.3 |
5276934144 |
true |
79.4 |
28.2 |
5413519360 |
true |
77.6 |
23.9 |
5218287616 |
true |
87.8 |
25.8 |
5530132480 |
true |
45.5 |
45.5 |
2456010752 |
true |
98.5 |
49.8 |
5378723840 |
true |
104 |
28.2 |
5150699520 |
true |
95.2 |
21.9 |
4984270848 |
true |
90.9 |
18.6 |
5131587584 |
true |
47.1 |
47.1 |
2454790144 |
true |
102 |
51.8 |
5432037376 |
true |
102 |
27.5 |
5257256960 |
true |
109 |
20.9 |
4574240768 |
true |
106 |
18.0 |
4989349888 |
true |
45.6 |
45.6 |
2424815616 |
true |
113 |
57.1 |
5243248640 |
true |
118 |
31.6 |
5128749056 |
true |
116 |
21.7 |
5179506688 |
true |
112 |
16.6 |
5156200448 |
Problem05_label17_true-unreach-call.c |
true |
46.7 |
46.7 |
2435043328 |
true |
74.0 |
49.6 |
5429780480 |
true |
74.3 |
36.6 |
5461020672 |
true |
74.3 |
32.7 |
5140684800 |
true |
77.7 |
32.5 |
5449400320 |
true |
45.2 |
45.2 |
2442305536 |
true |
97.7 |
49.4 |
5148573696 |
true |
85.7 |
31.6 |
5135429632 |
true |
88.4 |
28.5 |
5585956864 |
true |
78.0 |
20.9 |
5394542592 |
true |
45.1 |
45.1 |
2411982848 |
true |
98.1 |
49.6 |
5380972544 |
true |
102 |
27.7 |
5139734528 |
true |
98.8 |
22.8 |
5315551232 |
true |
91.7 |
18.7 |
5265104896 |
true |
46.5 |
46.5 |
2396995584 |
true |
101 |
50.9 |
5271396352 |
true |
109 |
29.5 |
5023158272 |
true |
107 |
20.5 |
5232586752 |
true |
113 |
18.9 |
5323251712 |
true |
45.3 |
45.4 |
2408923136 |
true |
112 |
56.4 |
5464764416 |
true |
119 |
31.7 |
5305679872 |
true |
118 |
22.1 |
5624094720 |
true |
122 |
18.1 |
5075058688 |
Problem05_label19_true-unreach-call.c |
true |
46.5 |
46.5 |
2458566656 |
true |
77.2 |
51.7 |
5564932096 |
true |
75.5 |
37.6 |
5233254400 |
true |
75.8 |
34.0 |
5202186240 |
true |
78.3 |
32.9 |
5451161600 |
true |
45.1 |
45.1 |
2385678336 |
true |
99.9 |
50.5 |
5332094976 |
true |
82.1 |
29.8 |
5171941376 |
true |
86.3 |
27.7 |
5432328192 |
true |
85.4 |
24.4 |
5713444864 |
true |
46.2 |
46.2 |
2487234560 |
true |
96.4 |
48.8 |
5176315904 |
true |
99.3 |
27.0 |
5317902336 |
true |
103 |
23.7 |
5097451520 |
true |
92.0 |
18.5 |
5259575296 |
true |
45.3 |
45.3 |
2436976640 |
true |
102 |
51.6 |
5295656960 |
true |
113 |
30.3 |
5061439488 |
true |
110 |
20.9 |
5162389504 |
true |
108 |
18.3 |
5258076160 |
true |
45.9 |
45.9 |
2402033664 |
true |
112 |
56.6 |
5117091840 |
true |
118 |
31.7 |
5159714816 |
true |
121 |
22.9 |
4885868544 |
true |
123 |
18.1 |
5082132480 |
Problem05_label20_true-unreach-call.c |
true |
48.5 |
48.5 |
2454700032 |
true |
76.8 |
50.9 |
5053210624 |
true |
75.1 |
38.2 |
5168369664 |
true |
74.2 |
32.3 |
5067730944 |
true |
77.2 |
32.1 |
5352566784 |
true |
46.7 |
46.7 |
2451410944 |
true |
96.5 |
48.8 |
5464276992 |
true |
81.8 |
29.7 |
5119332352 |
true |
77.1 |
23.4 |
5204348928 |
true |
80.3 |
22.5 |
5643808768 |
true |
46.6 |
46.7 |
2452951040 |
true |
98.2 |
49.6 |
5020635136 |
true |
98.9 |
26.9 |
5035474944 |
true |
85.1 |
19.2 |
4983656448 |
true |
97.9 |
20.3 |
5271855104 |
true |
47.4 |
47.4 |
2455363584 |
true |
108 |
54.8 |
4980506624 |
true |
85.1 |
23.1 |
4748660736 |
true |
114 |
21.5 |
5169840128 |
true |
108 |
18.2 |
5046550528 |
true |
47.4 |
47.4 |
2451251200 |
true |
115 |
58.0 |
5229240320 |
true |
122 |
32.3 |
4846878720 |
true |
129 |
24.5 |
5372919808 |
true |
112 |
16.9 |
4874575872 |
Problem05_label21_true-unreach-call.c |
true |
46.3 |
46.3 |
2495266816 |
true |
78.8 |
52.2 |
5514063872 |
true |
75.0 |
37.1 |
5109891072 |
true |
78.2 |
37.1 |
5422833664 |
true |
82.4 |
37.0 |
5642608640 |
true |
46.1 |
46.1 |
2445635584 |
true |
79.1 |
40.1 |
5092782080 |
true |
76.1 |
26.7 |
5136302080 |
true |
87.1 |
28.0 |
5466062848 |
true |
84.1 |
23.4 |
5545021440 |
true |
45.0 |
45.1 |
2389389312 |
true |
98.6 |
49.8 |
5332221952 |
true |
81.6 |
22.6 |
4945850368 |
true |
98.6 |
22.6 |
5328375808 |
true |
105 |
22.1 |
5375475712 |
true |
45.9 |
45.9 |
2492428288 |
true |
106 |
53.9 |
5361168384 |
true |
113 |
30.3 |
5131993088 |
true |
105 |
20.2 |
4837044224 |
true |
110 |
18.6 |
5038178304 |
true |
45.4 |
45.4 |
2509004800 |
true |
124 |
62.6 |
5122539520 |
true |
109 |
29.2 |
5158551552 |
true |
119 |
22.4 |
5114331136 |
true |
127 |
18.6 |
5192536064 |
Problem05_label22_true-unreach-call.c |
true |
46.2 |
46.2 |
2428887040 |
true |
77.9 |
52.6 |
5133045760 |
true |
76.2 |
37.5 |
5148844032 |
true |
75.2 |
33.8 |
5262434304 |
true |
77.9 |
32.4 |
5382844416 |
true |
45.2 |
45.2 |
2417025024 |
true |
90.5 |
45.9 |
4832579584 |
true |
82.4 |
29.7 |
5169889280 |
true |
80.8 |
25.5 |
5612433408 |
true |
81.7 |
23.0 |
5639471104 |
true |
45.4 |
45.4 |
2396405760 |
true |
101 |
50.9 |
5425217536 |
true |
101 |
27.6 |
5323567104 |
true |
99.6 |
23.0 |
5447548928 |
true |
101 |
21.2 |
5525270528 |
true |
46.3 |
46.3 |
2461720576 |
true |
106 |
53.8 |
5418422272 |
true |
106 |
28.7 |
5026238464 |
true |
100 |
19.2 |
4904480768 |
true |
108 |
18.3 |
5523529728 |
true |
45.5 |
45.5 |
2398711808 |
true |
124 |
62.5 |
5358108672 |
true |
116 |
30.9 |
5213921280 |
true |
120 |
22.6 |
5157761024 |
true |
128 |
18.8 |
5189238784 |
Problem05_label23_true-unreach-call.c |
true |
45.6 |
45.6 |
2437529600 |
true |
73.7 |
48.1 |
4936982528 |
true |
76.3 |
37.3 |
5200527360 |
true |
75.2 |
33.3 |
5157416960 |
true |
77.2 |
31.8 |
5300695040 |
true |
46.7 |
46.7 |
2422386688 |
true |
97.0 |
49.1 |
5432492032 |
true |
85.0 |
30.9 |
5146353664 |
true |
79.0 |
24.3 |
5446332416 |
true |
85.1 |
25.0 |
5652918272 |
true |
46.2 |
46.3 |
2435846144 |
true |
97.2 |
49.2 |
5342138368 |
true |
99.3 |
27.2 |
5116194816 |
true |
93.3 |
21.4 |
4967784448 |
true |
98.7 |
20.5 |
5487517696 |
true |
45.4 |
45.4 |
2457886720 |
true |
110 |
55.7 |
5321342976 |
true |
113 |
30.3 |
5540327424 |
true |
109 |
20.7 |
4948807680 |
true |
114 |
19.3 |
5105516544 |
true |
45.8 |
45.9 |
2486009856 |
true |
109 |
54.8 |
5406474240 |
true |
118 |
31.6 |
5255213056 |
true |
117 |
22.1 |
4960899072 |
true |
121 |
17.8 |
5574332416 |
Problem05_label25_true-unreach-call.c |
true |
44.7 |
44.7 |
2478403584 |
true |
70.9 |
47.0 |
5040115712 |
true |
73.9 |
36.5 |
5049675776 |
true |
78.4 |
37.4 |
5331763200 |
true |
77.7 |
32.0 |
5310963712 |
true |
45.3 |
45.4 |
2462711808 |
true |
97.5 |
49.3 |
5268963328 |
true |
85.4 |
31.4 |
5070086144 |
true |
77.4 |
23.9 |
5246857216 |
true |
80.1 |
22.4 |
5650649088 |
true |
45.3 |
45.3 |
2405629952 |
true |
99.6 |
50.3 |
5437206528 |
true |
105 |
28.4 |
5342052352 |
true |
100 |
23.1 |
5017047040 |
true |
95.4 |
19.6 |
5118083072 |
true |
47.7 |
47.7 |
2411515904 |
true |
86.8 |
43.9 |
5171240960 |
true |
112 |
30.1 |
5176737792 |
true |
107 |
20.3 |
5245243392 |
true |
118 |
20.0 |
5395337216 |
true |
45.5 |
45.5 |
2494648320 |
true |
113 |
57.3 |
5114204160 |
true |
114 |
30.8 |
5229576192 |
true |
117 |
22.1 |
5092757504 |
true |
121 |
17.9 |
5197709312 |
Problem05_label27_true-unreach-call.c |
true |
47.0 |
47.0 |
2467897344 |
true |
75.3 |
50.5 |
5109276672 |
true |
77.8 |
39.4 |
4960219136 |
true |
75.7 |
34.5 |
5391478784 |
true |
78.0 |
32.3 |
5487292416 |
true |
45.8 |
45.8 |
2422333440 |
true |
96.7 |
48.9 |
5331419136 |
true |
81.6 |
29.4 |
5063376896 |
true |
83.8 |
26.6 |
5547151360 |
true |
80.3 |
22.5 |
5546520576 |
true |
46.6 |
46.6 |
2430525440 |
true |
99.2 |
50.1 |
5391552512 |
true |
90.5 |
24.8 |
4589228032 |
true |
100 |
23.3 |
5322846208 |
true |
101 |
21.3 |
5720219648 |
true |
46.8 |
46.9 |
2411155456 |
true |
103 |
51.9 |
5337042944 |
true |
112 |
30.1 |
5400645632 |
true |
115 |
21.8 |
5457833984 |
true |
84.1 |
14.4 |
4746182656 |
true |
45.8 |
45.8 |
2422247424 |
true |
114 |
57.7 |
5372366848 |
true |
108 |
29.0 |
5435228160 |
true |
118 |
22.1 |
5137412096 |
true |
127 |
18.5 |
5020479488 |
Problem05_label28_true-unreach-call.c |
true |
45.9 |
46.0 |
2441334784 |
true |
74.3 |
50.3 |
5093228544 |
true |
73.4 |
36.3 |
4957216768 |
true |
73.3 |
32.4 |
4983177216 |
true |
78.3 |
32.8 |
5471666176 |
true |
45.9 |
45.9 |
2462732288 |
true |
95.4 |
48.3 |
5226668032 |
true |
74.5 |
26.0 |
5014986752 |
true |
81.2 |
25.5 |
5064085504 |
true |
81.9 |
22.7 |
5705506816 |
true |
45.0 |
45.0 |
2397560832 |
true |
95.8 |
48.5 |
5460533248 |
true |
99.2 |
26.8 |
5227139072 |
true |
105 |
24.1 |
5330440192 |
true |
89.3 |
17.9 |
5389193216 |
true |
46.2 |
46.2 |
2450100224 |
true |
106 |
53.3 |
5393862656 |
true |
112 |
30.1 |
5225234432 |
true |
88.0 |
17.2 |
5249806336 |
true |
114 |
19.3 |
5050425344 |
true |
47.9 |
47.9 |
2453630976 |
true |
113 |
57.3 |
5430853632 |
true |
121 |
32.2 |
5499813888 |
true |
113 |
21.3 |
4850954240 |
true |
119 |
17.7 |
4789944320 |
Problem05_label29_true-unreach-call.c |
true |
45.7 |
45.8 |
2409213952 |
true |
76.9 |
51.5 |
5584437248 |
true |
74.4 |
36.9 |
5024010240 |
true |
74.2 |
32.9 |
5174755328 |
true |
80.0 |
33.8 |
5605539840 |
true |
45.2 |
45.3 |
2411393024 |
true |
95.4 |
48.3 |
5319335936 |
true |
75.1 |
26.0 |
5216649216 |
true |
79.7 |
25.1 |
5360754688 |
true |
83.6 |
24.1 |
5551632384 |
true |
46.7 |
46.7 |
2437013504 |
true |
81.9 |
41.5 |
5139329024 |
true |
101 |
27.4 |
5423185920 |
true |
95.5 |
21.7 |
5337432064 |
true |
92.4 |
18.8 |
5175062528 |
true |
45.5 |
45.5 |
2482434048 |
true |
103 |
52.2 |
5324779520 |
true |
105 |
28.3 |
5196292096 |
true |
106 |
20.3 |
5036961792 |
true |
102 |
17.3 |
5163847680 |
true |
46.3 |
46.3 |
2427617280 |
true |
110 |
55.3 |
5220421632 |
true |
87.3 |
23.7 |
5202362368 |
true |
123 |
23.4 |
5133922304 |
true |
122 |
18.3 |
5344477184 |
Problem05_label31_true-unreach-call.c |
true |
46.1 |
46.1 |
2444185600 |
true |
74.4 |
49.6 |
5199962112 |
true |
76.6 |
39.0 |
4943110144 |
true |
75.3 |
33.6 |
5201526784 |
true |
77.3 |
32.0 |
5396992000 |
true |
46.8 |
46.8 |
2404868096 |
true |
97.0 |
49.0 |
5196275712 |
true |
96.7 |
35.3 |
5143007232 |
true |
76.6 |
22.9 |
4995018752 |
true |
80.5 |
22.2 |
5160439808 |
true |
46.6 |
46.6 |
2404818944 |
true |
106 |
53.6 |
5370863616 |
true |
93.2 |
25.6 |
5050380288 |
true |
104 |
24.3 |
5377298432 |
true |
97.4 |
20.0 |
5680508928 |
true |
45.5 |
45.6 |
2452426752 |
true |
78.8 |
40.0 |
5301227520 |
true |
84.0 |
22.9 |
5018148864 |
true |
109 |
20.7 |
4924612608 |
true |
98.0 |
16.7 |
5026770944 |
true |
45.5 |
45.5 |
2425835520 |
true |
127 |
64.0 |
5127528448 |
true |
119 |
31.9 |
5018992640 |
true |
116 |
22.2 |
5160538112 |
true |
121 |
18.0 |
5063323648 |
Problem05_label34_true-unreach-call.c |
true |
45.6 |
45.6 |
2440544256 |
true |
76.1 |
51.0 |
5488603136 |
true |
75.1 |
36.6 |
5082284032 |
true |
76.5 |
33.7 |
5268340736 |
true |
78.5 |
32.6 |
5391040512 |
true |
45.7 |
45.7 |
2417922048 |
true |
98.6 |
49.8 |
5383147520 |
true |
85.1 |
31.2 |
5464596480 |
true |
80.6 |
24.5 |
5342269440 |
true |
85.7 |
25.0 |
5650665472 |
true |
47.0 |
47.1 |
2438295552 |
true |
98.4 |
49.7 |
5450629120 |
true |
103 |
28.2 |
5025935360 |
true |
94.0 |
21.6 |
5335969792 |
true |
93.1 |
19.0 |
5392195584 |
true |
45.7 |
45.8 |
2418835456 |
true |
108 |
54.6 |
5232009216 |
true |
111 |
29.6 |
5144735744 |
true |
113 |
21.5 |
5232431104 |
true |
115 |
19.5 |
5165035520 |
true |
45.3 |
45.3 |
2427101184 |
true |
112 |
56.6 |
5318909952 |
true |
110 |
29.5 |
4782813184 |
true |
118 |
22.2 |
5130608640 |
true |
124 |
18.2 |
5130174464 |
Problem05_label35_true-unreach-call.c |
true |
44.8 |
44.8 |
2457219072 |
true |
74.6 |
49.7 |
5156179968 |
true |
75.1 |
37.4 |
5218476032 |
true |
77.1 |
34.7 |
5264871424 |
true |
82.2 |
37.5 |
5604372480 |
true |
44.9 |
44.9 |
2426183680 |
true |
99.8 |
50.4 |
5258625024 |
true |
79.6 |
28.2 |
5399150592 |
true |
80.4 |
25.4 |
5284777984 |
true |
81.2 |
22.8 |
5101068288 |
true |
46.9 |
47.0 |
2425372672 |
true |
96.3 |
48.8 |
5235273728 |
true |
103 |
28.0 |
5173862400 |
true |
89.8 |
20.4 |
5053636608 |
true |
79.3 |
15.5 |
4904439808 |
true |
45.9 |
45.9 |
2434248704 |
true |
118 |
59.5 |
5263024128 |
true |
81.0 |
22.0 |
5202366464 |
true |
113 |
21.2 |
4939575296 |
true |
121 |
20.5 |
5493649408 |
true |
46.3 |
46.3 |
2449600512 |
true |
116 |
58.6 |
5030010880 |
true |
117 |
31.0 |
4990447616 |
true |
124 |
23.3 |
4990320640 |
true |
117 |
17.5 |
4993826816 |
Problem05_label42_true-unreach-call.c |
true |
46.3 |
46.3 |
2476113920 |
true |
76.2 |
51.1 |
5530546176 |
true |
75.9 |
37.7 |
5167341568 |
true |
76.2 |
34.1 |
5277966336 |
true |
77.4 |
32.8 |
5394821120 |
true |
45.3 |
45.3 |
2421448704 |
true |
98.6 |
49.8 |
5472051200 |
true |
76.0 |
26.7 |
4876648448 |
true |
83.3 |
26.4 |
5414404096 |
true |
83.4 |
23.7 |
5564899328 |
true |
45.9 |
45.9 |
2433789952 |
true |
78.7 |
40.0 |
5100662784 |
true |
102 |
27.5 |
5522247680 |
true |
89.3 |
20.6 |
5199671296 |
true |
101 |
20.9 |
5486948352 |
true |
45.4 |
45.4 |
2432008192 |
true |
105 |
53.0 |
5437968384 |
true |
104 |
28.2 |
4845453312 |
true |
112 |
21.6 |
5055492096 |
true |
115 |
19.7 |
5335490560 |
true |
46.0 |
46.0 |
2494320640 |
true |
112 |
56.6 |
4961943552 |
true |
125 |
33.3 |
5184450560 |
true |
113 |
21.5 |
4760842240 |
true |
124 |
18.3 |
4933488640 |
Problem05_label43_true-unreach-call.c |
true |
46.0 |
46.0 |
2468798464 |
true |
72.4 |
47.6 |
5460766720 |
true |
76.3 |
38.3 |
5233545216 |
true |
78.8 |
36.9 |
5462020096 |
true |
79.3 |
33.6 |
5475721216 |
true |
46.1 |
46.1 |
2414878720 |
true |
95.1 |
48.1 |
5233778688 |
true |
81.6 |
29.6 |
5282054144 |
true |
86.4 |
28.1 |
5432778752 |
true |
77.4 |
21.0 |
5487149056 |
true |
46.7 |
46.8 |
2426327040 |
true |
98.1 |
49.6 |
5386702848 |
true |
102 |
27.9 |
5128163328 |
true |
92.3 |
21.4 |
5063766016 |
true |
92.1 |
18.5 |
5427261440 |
true |
46.7 |
46.8 |
2463817728 |
true |
106 |
53.4 |
5202132992 |
true |
112 |
30.0 |
5118029824 |
true |
107 |
20.3 |
4994846720 |
true |
109 |
18.5 |
5196988416 |
true |
45.9 |
45.9 |
2418876416 |
true |
115 |
58.1 |
5252759552 |
true |
109 |
29.1 |
5298446336 |
true |
113 |
21.5 |
5308641280 |
true |
128 |
18.7 |
5388292096 |
Problem05_label45_true-unreach-call.c |
true |
45.9 |
45.9 |
2417041408 |
true |
75.5 |
50.5 |
5035552768 |
true |
74.7 |
37.8 |
5327560704 |
true |
76.0 |
34.7 |
5374914560 |
true |
79.3 |
33.4 |
5617090560 |
true |
45.4 |
45.4 |
2447912960 |
true |
95.7 |
48.4 |
5408825344 |
true |
88.6 |
31.7 |
5232078848 |
true |
76.8 |
23.0 |
5075095552 |
true |
77.7 |
20.9 |
5596446720 |
true |
45.6 |
45.7 |
2441240576 |
true |
102 |
51.4 |
5427019776 |
true |
83.4 |
22.8 |
4727353344 |
true |
98.6 |
22.8 |
5225648128 |
true |
97.2 |
20.0 |
5284851712 |
true |
47.1 |
47.1 |
2463563776 |
true |
103 |
52.3 |
5302620160 |
true |
110 |
29.6 |
5102157824 |
true |
117 |
22.3 |
5170900992 |
true |
98.6 |
16.7 |
5230026752 |
true |
46.4 |
46.4 |
2415054848 |
true |
115 |
58.3 |
5184782336 |
true |
116 |
31.0 |
5175808000 |
true |
120 |
22.7 |
5492092928 |
true |
123 |
18.3 |
5280452608 |
Problem05_label46_true-unreach-call.c |
true |
47.7 |
47.7 |
2474524672 |
true |
73.5 |
47.9 |
5370064896 |
true |
76.8 |
38.3 |
5065142272 |
true |
80.1 |
38.0 |
5415591936 |
true |
78.4 |
32.1 |
5322092544 |
true |
45.8 |
45.9 |
2455654400 |
true |
103 |
52.2 |
5407186944 |
true |
76.9 |
26.6 |
5223276544 |
true |
82.0 |
26.0 |
5315473408 |
true |
87.7 |
25.8 |
5656739840 |
true |
46.6 |
46.6 |
2434060288 |
true |
97.1 |
49.2 |
5345894400 |
true |
104 |
28.1 |
4978610176 |
true |
93.4 |
21.6 |
5314867200 |
true |
91.9 |
18.7 |
5205192704 |
true |
46.2 |
46.2 |
2460078080 |
true |
83.5 |
42.3 |
4731326464 |
true |
112 |
29.9 |
5278449664 |
true |
107 |
20.4 |
5089968128 |
true |
114 |
19.4 |
5412540416 |
true |
46.1 |
46.1 |
2415394816 |
true |
115 |
58.1 |
5259542528 |
true |
117 |
30.9 |
5032656896 |
true |
109 |
20.7 |
5241012224 |
true |
123 |
18.1 |
5604450304 |
Problem05_label49_true-unreach-call.c |
true |
46.3 |
46.3 |
2437746688 |
true |
75.9 |
50.7 |
5414297600 |
true |
78.8 |
38.4 |
5317574656 |
true |
74.5 |
32.4 |
5079789568 |
true |
78.2 |
33.3 |
5026017280 |
true |
46.9 |
46.9 |
2452738048 |
true |
94.9 |
48.0 |
5496774656 |
true |
83.5 |
30.0 |
5230264320 |
true |
81.2 |
25.8 |
5261127680 |
true |
87.6 |
25.3 |
5753221120 |
true |
46.9 |
46.9 |
2434502656 |
true |
99.1 |
50.1 |
5444681728 |
true |
102 |
27.7 |
5471481856 |
true |
83.9 |
18.9 |
4978065408 |
true |
95.8 |
19.7 |
5307084800 |
true |
47.5 |
47.5 |
2433302528 |
true |
82.3 |
41.7 |
4743008256 |
true |
114 |
30.6 |
5129773056 |
true |
110 |
21.0 |
5300498432 |
true |
111 |
18.9 |
5159432192 |
true |
45.0 |
45.0 |
2465865728 |
true |
128 |
64.6 |
5246066688 |
true |
114 |
30.7 |
5032841216 |
true |
87.0 |
16.9 |
4840140800 |
true |
127 |
18.7 |
5193416704 |
Problem05_label50_true-unreach-call.c |
true |
48.0 |
48.0 |
2472308736 |
true |
76.9 |
51.3 |
5086543872 |
true |
76.1 |
37.5 |
5100892160 |
true |
74.0 |
32.3 |
5057921024 |
true |
77.0 |
31.6 |
5274771456 |
true |
47.2 |
47.3 |
2484494336 |
true |
96.4 |
48.7 |
5205901312 |
true |
85.0 |
31.1 |
5088378880 |
true |
86.2 |
28.2 |
5154131968 |
true |
79.0 |
21.0 |
5033242624 |
true |
46.7 |
46.7 |
2446131200 |
true |
96.9 |
49.1 |
5049761792 |
true |
97.6 |
26.5 |
5067481088 |
true |
89.7 |
20.5 |
5145010176 |
true |
99.9 |
20.7 |
5422022656 |
true |
45.8 |
45.8 |
2441056256 |
true |
106 |
53.4 |
5343182848 |
true |
108 |
29.1 |
5076140032 |
true |
111 |
21.0 |
5067649024 |
true |
111 |
18.9 |
5327986688 |
true |
47.7 |
47.7 |
2439274496 |
true |
115 |
58.1 |
5541928960 |
true |
114 |
30.3 |
5057343488 |
true |
122 |
22.9 |
5069651968 |
true |
134 |
19.7 |
5384552448 |
Problem05_label52_true-unreach-call.c |
true |
46.1 |
46.2 |
2448736256 |
true |
74.7 |
50.0 |
5451268096 |
true |
73.4 |
36.1 |
5021589504 |
true |
76.5 |
35.2 |
4990087168 |
true |
78.1 |
33.2 |
5494857728 |
true |
47.0 |
47.0 |
2507337728 |
true |
99.6 |
50.4 |
5321744384 |
true |
85.4 |
30.2 |
5262856192 |
true |
85.2 |
26.9 |
5257093120 |
true |
85.2 |
24.6 |
5677494272 |
true |
46.2 |
46.2 |
2410356736 |
true |
101 |
51.3 |
5447282688 |
true |
102 |
27.8 |
5253410816 |
true |
98.9 |
22.7 |
5364633600 |
true |
86.1 |
17.4 |
5151629312 |
true |
45.0 |
45.1 |
2431459328 |
true |
104 |
52.7 |
4881047552 |
true |
113 |
30.3 |
5278523392 |
true |
107 |
20.3 |
5307920384 |
true |
113 |
19.1 |
5013712896 |
true |
45.2 |
45.2 |
2443505664 |
true |
79.2 |
40.2 |
5050441728 |
true |
110 |
29.6 |
5158232064 |
true |
121 |
22.9 |
4935766016 |
true |
110 |
16.5 |
4933124096 |
Problem05_label53_true-unreach-call.c |
true |
47.5 |
47.5 |
2436968448 |
true |
75.8 |
50.9 |
5070966784 |
true |
76.4 |
37.9 |
5195198464 |
true |
74.1 |
32.9 |
5066072064 |
true |
80.2 |
33.6 |
5519564800 |
true |
45.0 |
45.1 |
2408497152 |
true |
96.5 |
48.9 |
5397520384 |
true |
78.2 |
27.9 |
5346488320 |
true |
75.9 |
22.8 |
5449961472 |
true |
80.2 |
22.1 |
5670895616 |
true |
45.1 |
45.2 |
2457550848 |
true |
92.6 |
46.8 |
4836188160 |
true |
102 |
27.9 |
5403291648 |
true |
94.1 |
21.7 |
4934037504 |
true |
88.2 |
17.9 |
5227331584 |
true |
45.2 |
45.2 |
2463838208 |
true |
82.4 |
41.8 |
4693413888 |
true |
84.3 |
22.9 |
4746059776 |
true |
109 |
20.8 |
5122859008 |
true |
113 |
19.1 |
4863094784 |
true |
47.2 |
47.2 |
2502483968 |
true |
112 |
56.8 |
5388197888 |
true |
119 |
31.8 |
5167329280 |
true |
126 |
23.6 |
5562593280 |
true |
121 |
18.0 |
4972949504 |
Problem05_label54_true-unreach-call.c |
true |
46.5 |
46.5 |
2437189632 |
true |
72.2 |
47.1 |
5437534208 |
true |
74.9 |
38.3 |
5337497600 |
true |
74.6 |
33.6 |
5213106176 |
true |
79.0 |
32.6 |
5419589632 |
true |
46.4 |
46.4 |
2395836416 |
true |
79.0 |
40.0 |
5083361280 |
true |
88.4 |
32.3 |
5311623168 |
true |
84.8 |
27.1 |
5535645696 |
true |
81.9 |
22.6 |
5571014656 |
true |
46.5 |
46.6 |
2414219264 |
true |
98.7 |
49.9 |
5212237824 |
true |
102 |
27.6 |
5180698624 |
true |
99.5 |
23.0 |
5437337600 |
true |
101 |
21.3 |
5581365248 |
true |
45.9 |
45.9 |
2467758080 |
true |
79.9 |
40.5 |
5126324224 |
true |
88.1 |
24.0 |
4943294464 |
true |
112 |
21.5 |
5059354624 |
true |
113 |
19.2 |
5154336768 |
true |
46.7 |
46.7 |
2419929088 |
true |
112 |
56.5 |
5211680768 |
true |
121 |
32.1 |
5137698816 |
true |
111 |
21.0 |
4693737472 |
true |
136 |
20.1 |
5424476160 |
Problem05_label56_true-unreach-call.c |
true |
43.7 |
43.8 |
2433859584 |
true |
79.6 |
53.8 |
5041872896 |
true |
79.2 |
38.6 |
5119799296 |
true |
75.5 |
34.1 |
5308739584 |
true |
81.9 |
36.6 |
5517094912 |
true |
45.2 |
45.2 |
2404892672 |
true |
97.0 |
49.0 |
5393289216 |
true |
76.1 |
26.9 |
5262143488 |
true |
83.2 |
26.8 |
5604892672 |
true |
81.0 |
22.4 |
5580349440 |
true |
45.6 |
45.6 |
2441732096 |
true |
100 |
50.5 |
5271576576 |
true |
102 |
27.7 |
5022879744 |
true |
104 |
24.0 |
5490266112 |
true |
97.7 |
20.1 |
5049139200 |
true |
46.2 |
46.2 |
2450403328 |
true |
107 |
53.7 |
5126426624 |
true |
82.0 |
22.6 |
4967886848 |
true |
108 |
20.5 |
5147271168 |
true |
117 |
20.0 |
5268000768 |
true |
45.1 |
45.1 |
2438176768 |
true |
116 |
58.5 |
5392474112 |
true |
109 |
29.0 |
5188415488 |
true |
123 |
23.0 |
4954300416 |
true |
122 |
17.9 |
5116186624 |
Problem05_label59_true-unreach-call.c |
true |
46.7 |
46.8 |
2413875200 |
true |
74.0 |
48.2 |
5023629312 |
true |
75.1 |
37.1 |
5168824320 |
true |
78.0 |
37.1 |
5340311552 |
true |
82.0 |
33.2 |
5504581632 |
true |
46.9 |
46.9 |
2442878976 |
true |
101 |
51.2 |
5474336768 |
true |
81.8 |
29.2 |
5262512128 |
true |
80.6 |
24.7 |
5564788736 |
true |
84.8 |
24.2 |
5551460352 |
true |
45.7 |
45.7 |
2440552448 |
true |
101 |
50.9 |
5380067328 |
true |
106 |
28.5 |
5137879040 |
true |
98.2 |
22.5 |
5089656832 |
true |
94.3 |
19.7 |
5439221760 |
true |
46.9 |
46.9 |
2409422848 |
true |
106 |
53.7 |
5334089728 |
true |
115 |
30.6 |
5387931648 |
true |
102 |
19.7 |
5059858432 |
true |
108 |
18.5 |
5310095360 |
true |
44.7 |
44.7 |
2404925440 |
true |
110 |
55.6 |
5370966016 |
true |
122 |
32.3 |
5068136448 |
true |
124 |
23.8 |
5164736512 |
true |
123 |
18.5 |
5047595008 |
Problem06_label03_true-unreach-call.c |
true |
38.1 |
38.1 |
1976668160 |
true |
54.0 |
34.0 |
3801247744 |
true |
57.4 |
25.9 |
4098555904 |
true |
58.7 |
24.4 |
4078288896 |
true |
60.9 |
22.2 |
4079357952 |
true |
36.8 |
36.9 |
1982423040 |
true |
64.4 |
32.6 |
3901771776 |
true |
59.4 |
20.3 |
3715174400 |
true |
61.7 |
18.3 |
3474636800 |
true |
58.9 |
14.9 |
3647975424 |
true |
37.4 |
37.4 |
1976090624 |
true |
66.9 |
33.9 |
4222660608 |
true |
69.7 |
19.3 |
3607158784 |
true |
63.5 |
14.3 |
3653238784 |
true |
64.1 |
12.7 |
3837788160 |
true |
38.5 |
38.5 |
2018041856 |
true |
68.7 |
34.8 |
4044046336 |
true |
69.3 |
18.9 |
3575832576 |
true |
67.4 |
13.5 |
3563360256 |
true |
68.2 |
11.8 |
3769888768 |
true |
37.1 |
37.1 |
1993539584 |
true |
74.4 |
37.6 |
4191645696 |
true |
73.2 |
19.9 |
3564228608 |
true |
80.1 |
15.6 |
3494969344 |
true |
71.9 |
11.5 |
3672952832 |
Problem06_label06_true-unreach-call.c |
true |
37.7 |
37.7 |
2023223296 |
true |
54.6 |
34.3 |
3721285632 |
true |
58.5 |
26.0 |
3672289280 |
true |
58.1 |
22.7 |
3808374784 |
true |
60.1 |
22.2 |
4153511936 |
true |
37.9 |
37.9 |
2006179840 |
true |
63.4 |
32.1 |
3511013376 |
true |
58.8 |
19.9 |
3824582656 |
true |
59.5 |
17.2 |
3746275328 |
true |
60.8 |
15.6 |
3712716800 |
true |
38.2 |
38.3 |
1972355072 |
true |
67.2 |
34.0 |
4310925312 |
true |
69.6 |
19.1 |
3688804352 |
true |
63.1 |
14.1 |
3535376384 |
true |
62.8 |
12.5 |
3837620224 |
true |
38.0 |
38.0 |
1989369856 |
true |
63.4 |
32.2 |
3730124800 |
true |
73.2 |
20.1 |
3697008640 |
true |
66.4 |
13.4 |
3373232128 |
true |
66.3 |
11.6 |
3529981952 |
true |
39.4 |
39.4 |
2030804992 |
true |
73.0 |
37.1 |
3775426560 |
true |
69.7 |
19.1 |
3629535232 |
true |
78.3 |
15.4 |
3672662016 |
true |
71.6 |
11.3 |
3690958848 |
Problem06_label07_true-unreach-call.c |
true |
37.5 |
37.5 |
1982640128 |
true |
56.9 |
35.7 |
3876802560 |
true |
57.8 |
26.3 |
4048084992 |
true |
58.1 |
23.5 |
3979653120 |
true |
58.7 |
22.3 |
4114694144 |
true |
37.8 |
37.8 |
2035249152 |
true |
62.8 |
31.9 |
3737526272 |
true |
58.5 |
19.6 |
3856834560 |
true |
57.9 |
16.4 |
3773263872 |
true |
59.9 |
15.3 |
3909582848 |
true |
37.7 |
37.8 |
1988083712 |
true |
62.6 |
31.7 |
3525492736 |
true |
67.3 |
18.5 |
3806515200 |
true |
63.8 |
14.4 |
3758931968 |
true |
64.4 |
12.8 |
3758190592 |
true |
38.7 |
38.8 |
2055786496 |
true |
71.6 |
36.2 |
3967389696 |
true |
71.0 |
19.3 |
3590488064 |
true |
73.0 |
14.4 |
3777654784 |
true |
66.5 |
11.5 |
3682488320 |
true |
37.8 |
37.8 |
1977839616 |
true |
72.6 |
36.7 |
3840110592 |
true |
77.7 |
21.0 |
3447402496 |
true |
73.0 |
14.5 |
3395850240 |
true |
78.9 |
12.5 |
3599982592 |
Problem06_label08_true-unreach-call.c |
true |
38.1 |
38.1 |
2001367040 |
true |
56.4 |
35.5 |
3801329664 |
true |
58.7 |
26.7 |
3906789376 |
true |
56.0 |
22.5 |
3869302784 |
true |
60.3 |
22.4 |
4184936448 |
true |
37.9 |
37.9 |
1989885952 |
true |
64.4 |
32.7 |
4072673280 |
true |
59.8 |
19.8 |
3425456128 |
true |
62.1 |
18.9 |
3857063936 |
true |
60.1 |
15.4 |
3880759296 |
true |
38.1 |
38.1 |
2008178688 |
true |
66.8 |
33.8 |
3484094464 |
true |
69.8 |
19.3 |
3631091712 |
true |
63.6 |
14.5 |
3533074432 |
true |
64.1 |
12.5 |
3638886400 |
true |
37.7 |
37.7 |
2025259008 |
true |
70.7 |
35.8 |
4028014592 |
true |
66.5 |
18.4 |
3755192320 |
true |
70.4 |
14.0 |
3915157504 |
true |
67.1 |
11.8 |
3653001216 |
true |
37.8 |
37.8 |
2006691840 |
true |
67.8 |
34.3 |
3892580352 |
true |
69.4 |
19.1 |
3876487168 |
true |
72.9 |
14.3 |
3489828864 |
true |
75.1 |
12.1 |
3836522496 |
Problem06_label13_true-unreach-call.c |
true |
37.3 |
37.3 |
2029072384 |
true |
54.0 |
33.8 |
3628457984 |
true |
60.1 |
28.0 |
4052606976 |
true |
56.1 |
22.2 |
3757682688 |
true |
59.0 |
22.2 |
4306857984 |
true |
38.0 |
38.1 |
2033205248 |
true |
64.4 |
32.6 |
3829493760 |
true |
59.4 |
20.0 |
3888164864 |
true |
57.5 |
16.7 |
3943792640 |
true |
61.1 |
15.4 |
4237135872 |
true |
37.5 |
37.6 |
1969840128 |
true |
64.9 |
32.9 |
4041625600 |
true |
66.4 |
18.7 |
4004941824 |
true |
65.0 |
14.8 |
3610832896 |
true |
64.2 |
12.6 |
3573444608 |
true |
37.7 |
37.8 |
1984462848 |
true |
66.4 |
33.5 |
3924099072 |
true |
71.0 |
19.4 |
3499700224 |
true |
72.1 |
14.2 |
3986866176 |
true |
66.1 |
11.5 |
3644436480 |
true |
37.8 |
37.8 |
2013716480 |
true |
66.5 |
33.7 |
3773878272 |
true |
74.6 |
20.5 |
3636367360 |
true |
73.2 |
14.5 |
3460112384 |
true |
86.3 |
13.2 |
4001689600 |
Problem06_label14_true-unreach-call.c |
true |
38.2 |
38.2 |
1973948416 |
true |
56.9 |
35.9 |
3960070144 |
true |
58.6 |
26.3 |
3852103680 |
true |
57.4 |
22.7 |
3916349440 |
true |
59.2 |
22.0 |
4002357248 |
true |
38.6 |
38.6 |
2011582464 |
true |
66.8 |
33.8 |
3678453760 |
true |
65.0 |
22.6 |
3724038144 |
true |
58.1 |
17.0 |
3675963392 |
true |
58.9 |
14.9 |
3731275776 |
true |
37.9 |
37.9 |
1981034496 |
true |
66.1 |
33.5 |
3912036352 |
true |
68.5 |
19.1 |
3689291776 |
true |
65.1 |
14.8 |
3423621120 |
true |
64.7 |
13.0 |
3842191360 |
true |
37.5 |
37.5 |
1979031552 |
true |
68.5 |
34.7 |
4026093568 |
true |
68.4 |
18.8 |
3819974656 |
true |
69.2 |
13.8 |
3778826240 |
true |
66.8 |
12.0 |
3954724864 |
true |
39.2 |
39.2 |
1983279104 |
true |
72.9 |
36.9 |
4002566144 |
true |
70.2 |
19.2 |
3727015936 |
true |
71.1 |
14.5 |
3421908992 |
true |
72.5 |
11.4 |
3652239360 |
Problem06_label16_true-unreach-call.c |
true |
38.5 |
38.5 |
2012377088 |
true |
55.2 |
34.5 |
3748298752 |
true |
58.3 |
26.4 |
3863687168 |
true |
58.1 |
23.4 |
4034240512 |
true |
61.6 |
22.0 |
3992485888 |
true |
38.2 |
38.3 |
2046132224 |
true |
66.6 |
33.7 |
3507798016 |
true |
58.8 |
19.7 |
4008796160 |
true |
60.5 |
17.2 |
4031418368 |
true |
58.7 |
14.8 |
3763212288 |
true |
37.7 |
37.7 |
2002890752 |
true |
63.9 |
32.5 |
4153245696 |
true |
68.1 |
19.0 |
3847929856 |
true |
62.3 |
14.0 |
3735101440 |
true |
61.9 |
12.2 |
3538178048 |
true |
38.2 |
38.2 |
2027446272 |
true |
70.5 |
35.7 |
3979100160 |
true |
74.8 |
20.4 |
4079345664 |
true |
77.7 |
15.6 |
3811184640 |
true |
66.8 |
11.7 |
3431854080 |
true |
37.5 |
37.5 |
1972744192 |
true |
73.4 |
37.2 |
4155150336 |
true |
69.2 |
19.0 |
3527835648 |
true |
71.9 |
14.6 |
3737833472 |
true |
76.9 |
12.1 |
3607928832 |
Problem06_label17_true-unreach-call.c |
true |
38.0 |
38.0 |
2048212992 |
true |
56.1 |
35.3 |
4059037696 |
true |
57.0 |
25.4 |
3864399872 |
true |
55.9 |
22.3 |
3747487744 |
true |
58.2 |
21.6 |
3911925760 |
true |
36.8 |
36.8 |
1970380800 |
true |
66.4 |
33.6 |
4186669056 |
true |
60.4 |
20.4 |
4095361024 |
true |
58.6 |
17.0 |
3955638272 |
true |
60.1 |
15.5 |
3617837056 |
true |
38.3 |
38.3 |
2020405248 |
true |
65.2 |
33.1 |
3902988288 |
true |
68.8 |
19.1 |
3940868096 |
true |
61.6 |
13.9 |
3921227776 |
true |
63.8 |
12.6 |
4031148032 |
true |
37.9 |
37.9 |
2022600704 |
true |
68.5 |
34.8 |
3889410048 |
true |
69.6 |
19.2 |
3665797120 |
true |
79.5 |
15.6 |
3791572992 |
true |
70.0 |
12.3 |
3753832448 |
true |
38.3 |
38.3 |
2032115712 |
true |
71.0 |
35.9 |
3729981440 |
true |
72.4 |
20.0 |
3699990528 |
true |
74.1 |
14.6 |
3192668160 |
true |
71.1 |
11.3 |
3771174912 |
Problem06_label18_true-unreach-call.c |
true |
37.4 |
37.4 |
2028302336 |
true |
54.5 |
34.4 |
3541454848 |
true |
58.1 |
26.1 |
3840794624 |
true |
57.8 |
23.1 |
4028985344 |
true |
59.8 |
22.3 |
4221648896 |
true |
36.3 |
36.4 |
1976709120 |
true |
62.4 |
31.7 |
3855892480 |
true |
62.3 |
22.0 |
4073766912 |
true |
58.7 |
17.1 |
3895083008 |
true |
59.0 |
15.0 |
3762966528 |
true |
37.0 |
37.0 |
2003922944 |
true |
65.7 |
33.4 |
3902230528 |
true |
67.0 |
18.7 |
4119248896 |
true |
64.9 |
15.1 |
3422674944 |
true |
64.5 |
12.8 |
3618041856 |
true |
37.5 |
37.5 |
1983586304 |
true |
64.2 |
32.5 |
3796209664 |
true |
70.6 |
19.4 |
3337191424 |
true |
68.5 |
13.7 |
3460968448 |
true |
66.8 |
11.6 |
3724947456 |
true |
37.7 |
37.7 |
1982849024 |
true |
71.5 |
36.2 |
3692343296 |
true |
75.8 |
20.7 |
3472560128 |
true |
74.5 |
14.6 |
3765878784 |
true |
71.9 |
11.6 |
3852836864 |
Problem06_label19_true-unreach-call.c |
true |
37.7 |
37.7 |
1966706688 |
true |
58.4 |
36.5 |
3905372160 |
true |
56.0 |
25.4 |
3677163520 |
true |
58.0 |
24.2 |
4037206016 |
true |
60.5 |
22.1 |
4102356992 |
true |
37.9 |
37.9 |
1999994880 |
true |
66.1 |
33.5 |
4106895360 |
true |
61.6 |
21.3 |
3502682112 |
true |
61.1 |
18.0 |
3633512448 |
true |
63.3 |
16.1 |
4105478144 |
true |
38.3 |
38.4 |
2002214912 |
true |
66.7 |
33.8 |
4045099008 |
true |
69.8 |
19.4 |
3997310976 |
true |
67.6 |
15.3 |
3510218752 |
true |
62.1 |
12.1 |
3687829504 |
true |
37.3 |
37.4 |
1985622016 |
true |
68.6 |
34.8 |
3903066112 |
true |
69.1 |
18.9 |
3371147264 |
true |
67.1 |
13.4 |
3489660928 |
true |
67.0 |
11.6 |
3489767424 |
true |
37.5 |
37.5 |
2036723712 |
true |
70.4 |
35.7 |
4353032192 |
true |
83.4 |
22.7 |
3891269632 |
true |
73.6 |
14.7 |
3751428096 |
true |
70.3 |
11.5 |
3614453760 |
Problem06_label22_true-unreach-call.c |
true |
38.2 |
38.2 |
2013487104 |
true |
55.3 |
35.0 |
3939586048 |
true |
56.6 |
25.7 |
3754430464 |
true |
59.5 |
24.0 |
4160466944 |
true |
60.5 |
21.9 |
3978313728 |
true |
38.9 |
39.0 |
2032619520 |
true |
65.3 |
33.1 |
3631255552 |
true |
62.9 |
22.0 |
3673300992 |
true |
58.0 |
16.7 |
3617673216 |
true |
63.7 |
16.1 |
4174458880 |
true |
37.4 |
37.5 |
1967026176 |
true |
65.1 |
33.0 |
3609427968 |
true |
66.4 |
18.5 |
3636908032 |
true |
63.7 |
14.4 |
3579527168 |
true |
64.5 |
12.6 |
3901235200 |
true |
37.8 |
37.8 |
2001281024 |
true |
65.7 |
33.2 |
3795763200 |
true |
67.8 |
18.7 |
3401023488 |
true |
69.2 |
13.8 |
3919515648 |
true |
66.8 |
11.7 |
3674173440 |
true |
37.6 |
37.6 |
1970024448 |
true |
68.6 |
34.8 |
3604590592 |
true |
73.1 |
20.1 |
3581550592 |
true |
74.8 |
14.8 |
3885191168 |
true |
71.4 |
11.5 |
3522015232 |
Problem06_label23_true-unreach-call.c |
true |
38.3 |
38.3 |
2036494336 |
true |
55.6 |
35.0 |
3779121152 |
true |
58.3 |
26.4 |
4033306624 |
true |
59.1 |
23.8 |
3916222464 |
true |
59.2 |
21.6 |
4002586624 |
true |
37.8 |
37.8 |
1993322496 |
true |
64.8 |
32.9 |
3817717760 |
true |
59.0 |
20.0 |
3896971264 |
true |
58.2 |
16.7 |
3789987840 |
true |
61.9 |
16.0 |
4167766016 |
true |
37.8 |
37.9 |
2014236672 |
true |
68.0 |
34.4 |
4173504512 |
true |
65.5 |
18.1 |
3526328320 |
true |
64.0 |
14.7 |
3596238848 |
true |
64.1 |
12.6 |
3759222784 |
true |
37.9 |
37.9 |
2021175296 |
true |
65.9 |
33.4 |
3798335488 |
true |
70.0 |
19.4 |
3529601024 |
true |
68.1 |
13.6 |
3714719744 |
true |
67.0 |
11.8 |
3827687424 |
true |
37.9 |
37.9 |
2005385216 |
true |
68.3 |
34.6 |
3595747328 |
true |
70.4 |
19.3 |
3524337664 |
true |
72.5 |
14.4 |
3574743040 |
true |
72.8 |
11.8 |
3983917056 |
Problem06_label25_true-unreach-call.c |
true |
38.1 |
38.1 |
1960198144 |
true |
53.9 |
34.1 |
3859333120 |
true |
55.7 |
25.7 |
3755896832 |
true |
57.8 |
23.4 |
4120862720 |
true |
59.4 |
20.9 |
3872296960 |
true |
38.2 |
38.2 |
1984274432 |
true |
61.6 |
31.2 |
3456704512 |
true |
58.4 |
19.8 |
3752763392 |
true |
62.2 |
18.2 |
3919220736 |
true |
60.1 |
15.0 |
3681669120 |
true |
37.8 |
37.8 |
2051993600 |
true |
65.8 |
33.3 |
3844481024 |
true |
69.7 |
19.6 |
3837157376 |
true |
65.0 |
14.9 |
3639324672 |
true |
64.8 |
12.7 |
3669065728 |
true |
37.2 |
37.3 |
1976008704 |
true |
67.4 |
34.2 |
3923279872 |
true |
75.4 |
20.6 |
4230201344 |
true |
70.9 |
14.1 |
3903746048 |
true |
67.9 |
11.9 |
3804950528 |
true |
38.3 |
38.3 |
1983434752 |
true |
74.0 |
37.4 |
3930923008 |
true |
68.6 |
18.7 |
3614797824 |
true |
75.9 |
14.8 |
4054495232 |
true |
71.4 |
11.5 |
3733094400 |
Problem06_label26_true-unreach-call.c |
true |
38.0 |
38.0 |
2015145984 |
true |
56.4 |
35.5 |
3886374912 |
true |
57.1 |
26.0 |
4019712000 |
true |
58.5 |
23.5 |
4023332864 |
true |
59.4 |
21.4 |
3905916928 |
true |
37.3 |
37.3 |
2014543872 |
true |
65.2 |
33.1 |
4295233536 |
true |
59.4 |
20.2 |
3752775680 |
true |
62.4 |
19.0 |
3984179200 |
true |
62.9 |
16.4 |
4142907392 |
true |
37.9 |
37.9 |
2024386560 |
true |
63.6 |
32.3 |
3986411520 |
true |
66.0 |
18.6 |
3763609600 |
true |
63.4 |
14.4 |
3755008000 |
true |
66.1 |
13.1 |
3816566784 |
true |
38.0 |
38.0 |
1994375168 |
true |
66.0 |
33.4 |
3963240448 |
true |
68.8 |
18.8 |
3697598464 |
true |
70.2 |
14.2 |
3709874176 |
true |
68.1 |
11.7 |
3693445120 |
true |
37.2 |
37.2 |
1971884032 |
true |
65.6 |
33.3 |
3677978624 |
true |
71.4 |
19.6 |
3608883200 |
true |
69.2 |
13.8 |
3414331392 |
true |
72.3 |
11.5 |
3711221760 |
Problem06_label28_true-unreach-call.c |
true |
39.0 |
39.0 |
2026479616 |
true |
54.3 |
34.3 |
3868446720 |
true |
58.3 |
25.9 |
3858948096 |
true |
57.0 |
22.9 |
3975655424 |
true |
58.9 |
21.7 |
3975372800 |
true |
38.2 |
38.2 |
2019426304 |
true |
62.8 |
31.8 |
3401351168 |
true |
62.1 |
21.7 |
3605204992 |
true |
59.3 |
16.9 |
4085751808 |
true |
60.5 |
15.3 |
4288180224 |
true |
39.0 |
39.1 |
1999503360 |
true |
65.3 |
33.0 |
4049215488 |
true |
67.8 |
18.8 |
4003864576 |
true |
69.3 |
15.9 |
3889082368 |
true |
62.8 |
12.2 |
4003151872 |
true |
38.2 |
38.3 |
1980592128 |
true |
69.8 |
35.4 |
3933577216 |
true |
73.1 |
20.1 |
3642294272 |
true |
67.4 |
13.5 |
3640700928 |
true |
67.4 |
11.7 |
3767857152 |
true |
39.2 |
39.2 |
2024022016 |
true |
73.3 |
37.1 |
4017876992 |
true |
70.4 |
19.3 |
3512635392 |
true |
70.1 |
14.0 |
3518377984 |
true |
82.7 |
13.0 |
3822579712 |
Problem06_label30_true-unreach-call.c |
true |
38.4 |
38.4 |
1972989952 |
true |
54.8 |
34.4 |
3825602560 |
true |
57.7 |
26.3 |
4152143872 |
true |
56.7 |
23.0 |
4020543488 |
true |
58.5 |
21.5 |
3971670016 |
true |
38.9 |
39.0 |
1997950976 |
true |
66.1 |
33.5 |
4078567424 |
true |
58.8 |
20.1 |
4019744768 |
true |
57.7 |
16.9 |
3572576256 |
true |
64.0 |
17.0 |
4187471872 |
true |
38.9 |
39.0 |
2049126400 |
true |
64.5 |
32.8 |
4124172288 |
true |
67.4 |
18.8 |
3903606784 |
true |
60.8 |
13.8 |
3534487552 |
true |
61.0 |
12.0 |
3478179840 |
true |
38.2 |
38.2 |
2014216192 |
true |
69.2 |
35.1 |
3977261056 |
true |
67.1 |
18.2 |
3549044736 |
true |
77.1 |
15.2 |
3826397184 |
true |
66.3 |
11.6 |
3804540928 |
true |
38.2 |
38.2 |
2003775488 |
true |
66.0 |
33.4 |
3757924352 |
true |
70.5 |
19.3 |
3516968960 |
true |
69.8 |
14.0 |
3608252416 |
true |
72.5 |
11.5 |
3759849472 |
Problem06_label31_true-unreach-call.c |
true |
37.3 |
37.3 |
2005569536 |
true |
54.6 |
34.2 |
3693330432 |
true |
58.2 |
26.0 |
3660779520 |
true |
58.0 |
23.3 |
3916345344 |
true |
59.3 |
21.6 |
4064387072 |
true |
37.4 |
37.4 |
1989689344 |
true |
64.1 |
32.5 |
4219375616 |
true |
62.0 |
21.1 |
3788279808 |
true |
58.3 |
16.8 |
4000243712 |
true |
60.4 |
15.4 |
3690614784 |
true |
37.4 |
37.4 |
2014846976 |
true |
65.7 |
33.3 |
3849535488 |
true |
67.0 |
18.6 |
3454324736 |
true |
62.5 |
14.2 |
3579838464 |
true |
65.0 |
13.2 |
3836977152 |
true |
37.2 |
37.2 |
2043949056 |
true |
65.1 |
33.0 |
3917144064 |
true |
67.9 |
18.7 |
3482279936 |
true |
70.8 |
14.0 |
3726372864 |
true |
66.2 |
11.6 |
3640623104 |
true |
38.2 |
38.3 |
1966784512 |
true |
73.0 |
37.0 |
4084002816 |
true |
74.4 |
20.2 |
3713204224 |
true |
78.5 |
15.4 |
3520954368 |
true |
80.0 |
12.5 |
4174741504 |
Problem06_label32_true-unreach-call.c |
true |
39.5 |
39.5 |
2022739968 |
true |
55.4 |
34.9 |
3837267968 |
true |
56.7 |
25.2 |
3655806976 |
true |
56.1 |
22.3 |
3768233984 |
true |
61.3 |
22.1 |
4115107840 |
true |
38.3 |
38.3 |
1972805632 |
true |
66.0 |
33.5 |
4250599424 |
true |
62.5 |
21.7 |
3659083776 |
true |
57.6 |
16.4 |
3707174912 |
true |
60.9 |
16.0 |
4181958656 |
true |
37.2 |
37.2 |
1983045632 |
true |
67.2 |
34.1 |
4120981504 |
true |
68.9 |
19.4 |
3744768000 |
true |
67.0 |
15.3 |
3507916800 |
true |
65.6 |
13.1 |
4066283520 |
true |
37.8 |
37.8 |
1960751104 |
true |
63.5 |
32.3 |
3481219072 |
true |
72.2 |
19.8 |
3729575936 |
true |
70.9 |
14.2 |
3930750976 |
true |
68.4 |
11.9 |
3713617920 |
true |
38.3 |
38.3 |
1991847936 |
true |
74.2 |
37.6 |
3987755008 |
true |
78.5 |
21.4 |
3642654720 |
true |
69.4 |
13.8 |
3458404352 |
true |
70.2 |
11.3 |
3681918976 |
Problem06_label34_true-unreach-call.c |
true |
38.8 |
38.8 |
2049716224 |
true |
54.0 |
33.8 |
3708674048 |
true |
59.2 |
26.3 |
3815776256 |
true |
56.4 |
22.7 |
3813273600 |
true |
59.4 |
21.7 |
3940986880 |
true |
37.9 |
37.9 |
1971044352 |
true |
65.8 |
33.3 |
3846377472 |
true |
60.0 |
20.3 |
3603230720 |
true |
57.6 |
16.6 |
3722264576 |
true |
59.3 |
15.3 |
4036689920 |
true |
37.9 |
38.0 |
2008088576 |
true |
66.9 |
33.9 |
4031926272 |
true |
69.4 |
19.3 |
3729448960 |
true |
63.4 |
14.4 |
3764371456 |
true |
62.5 |
12.3 |
3856130048 |
true |
37.8 |
37.8 |
1992499200 |
true |
65.5 |
33.2 |
3727093760 |
true |
68.3 |
18.8 |
3340595200 |
true |
69.8 |
14.0 |
3763445760 |
true |
68.6 |
11.9 |
3591028736 |
true |
37.6 |
37.6 |
2007801856 |
true |
71.0 |
35.9 |
3760750592 |
true |
73.4 |
20.0 |
3842502656 |
true |
68.2 |
13.8 |
3478114304 |
true |
71.6 |
11.5 |
3626504192 |
Problem06_label35_true-unreach-call.c |
true |
37.2 |
37.2 |
2005135360 |
true |
55.2 |
34.7 |
3824222208 |
true |
58.9 |
26.0 |
3857494016 |
true |
57.2 |
23.4 |
4119228416 |
true |
60.6 |
22.6 |
4157169664 |
true |
37.6 |
37.6 |
2011660288 |
true |
64.2 |
32.6 |
3996971008 |
true |
58.3 |
19.8 |
3660509184 |
true |
63.4 |
18.9 |
3601383424 |
true |
60.0 |
15.5 |
3929288704 |
true |
37.4 |
37.4 |
1985593344 |
true |
65.5 |
33.2 |
3966185472 |
true |
68.6 |
18.9 |
4240658432 |
true |
64.8 |
15.1 |
3879469056 |
true |
65.5 |
13.2 |
3807502336 |
true |
37.9 |
37.9 |
1969868800 |
true |
64.3 |
32.6 |
3771834368 |
true |
67.8 |
18.7 |
3491299328 |
true |
70.5 |
13.9 |
3906379776 |
true |
66.5 |
11.8 |
3466817536 |
true |
37.5 |
37.6 |
2021498880 |
true |
70.0 |
35.5 |
4065542144 |
true |
71.2 |
19.7 |
3732865024 |
true |
70.7 |
14.1 |
3892764672 |
true |
72.0 |
11.5 |
3694608384 |
Problem06_label39_true-unreach-call.c |
true |
37.6 |
37.6 |
1982550016 |
true |
56.3 |
35.4 |
3944013824 |
true |
56.5 |
25.5 |
3654516736 |
true |
57.1 |
22.4 |
3662073856 |
true |
59.4 |
21.9 |
3986350080 |
true |
38.2 |
38.3 |
1973665792 |
true |
63.4 |
32.2 |
3417296896 |
true |
58.0 |
19.6 |
3470479360 |
true |
57.5 |
16.7 |
3604869120 |
true |
59.7 |
15.3 |
3864825856 |
true |
37.9 |
37.9 |
1995550720 |
true |
64.4 |
32.6 |
3533987840 |
true |
67.6 |
18.8 |
3550117888 |
true |
65.3 |
15.0 |
4108226560 |
true |
60.8 |
12.0 |
3901296640 |
true |
39.1 |
39.1 |
1997959168 |
true |
65.3 |
33.1 |
3807952896 |
true |
66.4 |
18.2 |
3815301120 |
true |
80.0 |
15.8 |
3941015552 |
true |
75.0 |
13.1 |
3896266752 |
true |
38.4 |
38.4 |
1970401280 |
true |
65.0 |
33.0 |
3469737984 |
true |
79.2 |
21.6 |
3609665536 |
true |
71.9 |
14.3 |
3821617152 |
true |
71.1 |
11.3 |
3612446720 |
Problem06_label40_true-unreach-call.c |
true |
38.3 |
38.4 |
1984577536 |
true |
55.7 |
34.7 |
3821539328 |
true |
58.5 |
26.3 |
3933835264 |
true |
58.1 |
23.0 |
3667386368 |
true |
59.6 |
21.7 |
4044877824 |
true |
38.7 |
38.8 |
2052845568 |
true |
63.9 |
32.3 |
3505319936 |
true |
58.5 |
19.8 |
3782541312 |
true |
60.0 |
17.5 |
3905171456 |
true |
62.8 |
15.9 |
4016635904 |
true |
37.6 |
37.6 |
2006646784 |
true |
66.8 |
33.9 |
3983372288 |
true |
66.4 |
18.2 |
3430391808 |
true |
62.0 |
14.1 |
4012957696 |
true |
66.9 |
13.4 |
3653324800 |
true |
37.5 |
37.5 |
1977503744 |
true |
71.7 |
36.3 |
4172783616 |
true |
75.7 |
20.7 |
3694784512 |
true |
67.2 |
13.4 |
3443056640 |
true |
65.9 |
11.6 |
3448283136 |
true |
37.8 |
37.8 |
1965506560 |
true |
64.5 |
32.7 |
3512659968 |
true |
75.1 |
20.5 |
3704598528 |
true |
79.6 |
15.5 |
3870314496 |
true |
72.5 |
11.6 |
3565481984 |
Problem06_label41_true-unreach-call.c |
true |
37.4 |
37.4 |
2016653312 |
true |
54.0 |
33.5 |
4050104320 |
true |
58.2 |
26.1 |
3744894976 |
true |
56.4 |
22.3 |
3707822080 |
true |
59.6 |
21.3 |
3864752128 |
true |
38.5 |
38.6 |
2004701184 |
true |
65.3 |
33.1 |
3849629696 |
true |
63.1 |
21.7 |
3882475520 |
true |
60.4 |
17.1 |
3719741440 |
true |
58.6 |
14.7 |
3826601984 |
true |
37.7 |
37.7 |
1970446336 |
true |
68.0 |
34.4 |
4186234880 |
true |
67.9 |
19.1 |
3654397952 |
true |
62.2 |
13.9 |
3529003008 |
true |
64.7 |
12.7 |
3814109184 |
true |
38.1 |
38.2 |
1991061504 |
true |
62.8 |
31.9 |
3606978560 |
true |
70.0 |
19.3 |
3959324672 |
true |
72.2 |
14.3 |
3570282496 |
true |
66.5 |
11.7 |
3593318400 |
true |
38.6 |
38.6 |
2001997824 |
true |
75.2 |
38.1 |
4177838080 |
true |
74.4 |
20.3 |
3825840128 |
true |
75.9 |
15.0 |
3899662336 |
true |
71.9 |
11.4 |
4140339200 |
Problem06_label42_true-unreach-call.c |
true |
39.0 |
39.0 |
2027679744 |
true |
55.6 |
35.1 |
4056715264 |
true |
58.3 |
27.0 |
4121600000 |
true |
58.7 |
23.4 |
3979366400 |
true |
59.8 |
21.7 |
3996442624 |
true |
38.6 |
38.7 |
1995681792 |
true |
68.2 |
34.6 |
3808448512 |
true |
60.5 |
20.8 |
3477909504 |
true |
60.0 |
17.4 |
3757821952 |
true |
60.8 |
15.5 |
4079366144 |
true |
37.6 |
37.6 |
1973215232 |
true |
67.1 |
34.0 |
3449675776 |
true |
68.7 |
19.0 |
3644420096 |
true |
63.5 |
14.5 |
3899973632 |
true |
63.1 |
12.5 |
3940442112 |
true |
38.4 |
38.5 |
1958522880 |
true |
64.8 |
32.9 |
3416920064 |
true |
74.3 |
20.4 |
3537727488 |
true |
71.0 |
14.4 |
3706961920 |
true |
75.5 |
13.3 |
3893784576 |
true |
37.9 |
37.9 |
1976905728 |
true |
70.2 |
35.6 |
4089872384 |
true |
70.0 |
19.4 |
3657072640 |
true |
74.3 |
14.8 |
3515330560 |
true |
81.8 |
12.8 |
3668791296 |
Problem06_label43_true-unreach-call.c |
true |
38.4 |
38.5 |
1979473920 |
true |
60.6 |
40.1 |
4227321856 |
true |
59.5 |
26.4 |
3850387456 |
true |
58.9 |
23.7 |
4131893248 |
true |
61.0 |
22.5 |
4227665920 |
true |
37.6 |
37.6 |
2011017216 |
true |
64.6 |
32.7 |
3848564736 |
true |
58.7 |
19.9 |
3727921152 |
true |
60.0 |
17.2 |
3860250624 |
true |
62.1 |
15.8 |
4016717824 |
true |
37.2 |
37.2 |
1975939072 |
true |
64.5 |
32.7 |
3851968512 |
true |
68.1 |
19.0 |
3802263552 |
true |
63.2 |
14.2 |
3844284416 |
true |
62.3 |
12.5 |
3541204992 |
true |
38.1 |
38.1 |
1979736064 |
true |
66.0 |
33.5 |
3935522816 |
true |
73.2 |
20.1 |
3518775296 |
true |
72.7 |
14.7 |
3823149056 |
true |
66.8 |
11.8 |
3678674944 |
true |
37.7 |
37.7 |
1986973696 |
true |
74.1 |
37.5 |
4137758720 |
true |
77.1 |
21.1 |
3605102592 |
true |
69.6 |
13.8 |
3690786816 |
true |
80.4 |
12.8 |
3867107328 |
Problem06_label45_true-unreach-call.c |
true |
37.2 |
37.2 |
1966170112 |
true |
54.7 |
34.4 |
3610624000 |
true |
58.5 |
26.9 |
4085882880 |
true |
58.4 |
24.1 |
4121374720 |
true |
60.4 |
22.1 |
3955953664 |
true |
37.4 |
37.4 |
1995100160 |
true |
67.6 |
34.3 |
3762495488 |
true |
61.0 |
21.3 |
3555504128 |
true |
58.5 |
16.7 |
3910619136 |
true |
59.2 |
14.9 |
3648704512 |
true |
37.2 |
37.2 |
1985945600 |
true |
63.3 |
32.2 |
4058443776 |
true |
69.5 |
19.5 |
4015579136 |
true |
64.8 |
15.0 |
3672977408 |
true |
67.9 |
13.7 |
3795189760 |
true |
37.6 |
37.6 |
1986093056 |
true |
70.0 |
35.5 |
4024586240 |
true |
69.9 |
19.4 |
4050411520 |
true |
70.3 |
14.1 |
3865534464 |
true |
66.8 |
11.6 |
3984084992 |
true |
37.6 |
37.6 |
2008936448 |
true |
63.3 |
32.0 |
3419279360 |
true |
80.8 |
22.1 |
3622498304 |
true |
71.7 |
14.1 |
3982331904 |
true |
70.4 |
11.2 |
3452088320 |
Problem06_label46_true-unreach-call.c |
true |
37.1 |
37.1 |
2008915968 |
true |
55.3 |
34.8 |
3858980864 |
true |
57.6 |
26.4 |
3758206976 |
true |
57.3 |
22.7 |
3835150336 |
true |
59.1 |
21.4 |
3959332864 |
true |
38.6 |
38.6 |
1984442368 |
true |
63.3 |
32.1 |
3893456896 |
true |
61.2 |
21.0 |
3601227776 |
true |
57.8 |
16.5 |
3638751232 |
true |
60.7 |
15.7 |
3709198336 |
true |
37.2 |
37.2 |
2021150720 |
true |
64.5 |
32.7 |
4160638976 |
true |
68.2 |
19.1 |
3671687168 |
true |
62.4 |
14.0 |
3811848192 |
true |
64.5 |
12.9 |
4149460992 |
true |
37.1 |
37.2 |
1977925632 |
true |
69.1 |
35.0 |
4006506496 |
true |
72.7 |
19.9 |
3652997120 |
true |
72.4 |
14.4 |
3575185408 |
true |
74.4 |
12.9 |
3640696832 |
true |
37.4 |
37.4 |
1961349120 |
true |
71.6 |
36.2 |
3373613056 |
true |
73.3 |
20.2 |
3639451648 |
true |
72.8 |
14.5 |
3924414464 |
true |
73.2 |
11.6 |
3832188928 |
Problem06_label49_true-unreach-call.c |
true |
37.6 |
37.6 |
1984315392 |
true |
57.6 |
36.4 |
4046942208 |
true |
57.0 |
25.6 |
3743649792 |
true |
57.5 |
23.2 |
4183171072 |
true |
59.8 |
20.6 |
3874729984 |
true |
37.6 |
37.6 |
2026811392 |
true |
62.6 |
31.7 |
3600855040 |
true |
57.6 |
19.5 |
4042686464 |
true |
63.6 |
19.6 |
4423172096 |
true |
60.1 |
15.2 |
3828985856 |
true |
37.2 |
37.2 |
1989738496 |
true |
68.7 |
34.8 |
4123344896 |
true |
71.0 |
19.6 |
3640844288 |
true |
63.3 |
14.3 |
3655286784 |
true |
64.0 |
12.7 |
3990167552 |
true |
37.0 |
37.0 |
2012012544 |
true |
69.7 |
35.3 |
3776438272 |
true |
70.7 |
19.3 |
3704180736 |
true |
68.3 |
13.9 |
3661471744 |
true |
66.9 |
11.7 |
3737370624 |
true |
39.3 |
39.3 |
1999089664 |
true |
74.3 |
37.6 |
3662876672 |
true |
70.3 |
19.2 |
3389030400 |
true |
71.7 |
14.1 |
3905056768 |
true |
73.3 |
11.7 |
3755868160 |
Problem06_label50_true-unreach-call.c |
true |
37.9 |
37.9 |
2019168256 |
true |
56.1 |
35.0 |
4035739648 |
true |
58.2 |
26.0 |
3798994944 |
true |
57.6 |
23.1 |
4081684480 |
true |
59.5 |
21.7 |
3969605632 |
true |
38.3 |
38.3 |
1984086016 |
true |
64.6 |
32.8 |
4004294656 |
true |
59.2 |
20.0 |
3515019264 |
true |
58.2 |
16.6 |
3748466688 |
true |
59.3 |
15.1 |
3656105984 |
true |
36.7 |
36.8 |
1996226560 |
true |
67.1 |
34.0 |
3754692608 |
true |
68.5 |
19.1 |
3671334912 |
true |
62.3 |
14.1 |
3558301696 |
true |
65.9 |
13.3 |
4024791040 |
true |
38.1 |
38.1 |
1992130560 |
true |
65.1 |
33.0 |
3929411584 |
true |
72.1 |
19.7 |
3629793280 |
true |
65.3 |
13.1 |
3498782720 |
true |
67.6 |
11.7 |
3498541056 |
true |
38.6 |
38.6 |
2006228992 |
true |
69.9 |
35.4 |
3934318592 |
true |
69.7 |
19.2 |
3867447296 |
true |
73.6 |
14.4 |
3699064832 |
true |
71.5 |
11.4 |
3565264896 |
Problem06_label51_true-unreach-call.c |
true |
38.4 |
38.4 |
2030817280 |
true |
53.8 |
34.1 |
3588841472 |
true |
56.4 |
25.8 |
3986956288 |
true |
56.7 |
22.8 |
3770781696 |
true |
60.7 |
22.0 |
3963547648 |
true |
37.4 |
37.4 |
2041131008 |
true |
64.1 |
32.6 |
3464859648 |
true |
57.3 |
19.4 |
3574472704 |
true |
58.5 |
16.6 |
3804213248 |
true |
59.1 |
15.2 |
3844608000 |
true |
37.2 |
37.2 |
1969762304 |
true |
67.7 |
34.3 |
4146622464 |
true |
66.9 |
18.7 |
3687239680 |
true |
67.2 |
15.4 |
4062027776 |
true |
62.9 |
12.3 |
3880546304 |
true |
37.8 |
37.8 |
1969692672 |
true |
68.4 |
34.6 |
3877072896 |
true |
68.4 |
18.9 |
3757490176 |
true |
71.6 |
14.2 |
3926040576 |
true |
68.4 |
11.8 |
3832983552 |
true |
37.3 |
37.3 |
2006179840 |
true |
68.6 |
34.7 |
4197515264 |
true |
69.0 |
18.9 |
3604463616 |
true |
71.9 |
14.7 |
3543511040 |
true |
70.4 |
11.2 |
3466166272 |
Problem06_label52_true-unreach-call.c |
true |
38.6 |
38.6 |
2053537792 |
true |
53.9 |
33.8 |
3714752512 |
true |
58.2 |
25.7 |
3685564416 |
true |
57.9 |
22.7 |
3713253376 |
true |
59.2 |
21.6 |
4164706304 |
true |
37.2 |
37.2 |
2005663744 |
true |
63.7 |
32.3 |
3877421056 |
true |
59.7 |
19.7 |
3701354496 |
true |
59.3 |
17.3 |
3893542912 |
true |
61.7 |
16.0 |
4202733568 |
true |
37.3 |
37.3 |
2005118976 |
true |
64.8 |
32.9 |
3968626688 |
true |
71.3 |
19.7 |
4054827008 |
true |
63.6 |
14.4 |
3776385024 |
true |
64.5 |
12.8 |
3633545216 |
true |
37.9 |
37.9 |
1967886336 |
true |
68.7 |
34.8 |
3769507840 |
true |
73.7 |
20.1 |
3628425216 |
true |
70.1 |
14.1 |
3676041216 |
true |
67.2 |
11.7 |
3781500928 |
true |
38.5 |
38.5 |
2007908352 |
true |
71.7 |
36.3 |
4010422272 |
true |
79.3 |
21.4 |
3770810368 |
true |
73.9 |
14.7 |
3474186240 |
true |
80.1 |
12.5 |
3975770112 |
Problem06_label53_true-unreach-call.c |
true |
38.1 |
38.2 |
1970724864 |
true |
56.2 |
35.6 |
4143403008 |
true |
57.1 |
25.9 |
3701903360 |
true |
58.0 |
23.2 |
3949731840 |
true |
60.0 |
22.3 |
4113432576 |
true |
37.8 |
37.8 |
1981132800 |
true |
63.5 |
32.2 |
3557859328 |
true |
66.5 |
23.5 |
3847077888 |
true |
57.9 |
16.5 |
3863203840 |
true |
61.0 |
15.9 |
4114583552 |
true |
37.1 |
37.1 |
1977741312 |
true |
68.1 |
34.5 |
4198268928 |
true |
69.6 |
19.3 |
4061749248 |
true |
63.3 |
14.5 |
3741396992 |
true |
62.0 |
12.1 |
3914997760 |
true |
37.5 |
37.5 |
1974923264 |
true |
66.2 |
33.7 |
4078714880 |
true |
67.0 |
18.5 |
3919245312 |
true |
65.1 |
13.1 |
3502125056 |
true |
67.2 |
11.7 |
3689709568 |
true |
37.9 |
37.9 |
1960108032 |
true |
74.6 |
37.8 |
3544236032 |
true |
72.3 |
19.7 |
3430817792 |
true |
71.4 |
14.2 |
3845902336 |
true |
73.7 |
11.7 |
3660587008 |
Problem06_label54_true-unreach-call.c |
true |
37.3 |
37.3 |
1962053632 |
true |
54.4 |
34.1 |
3758776320 |
true |
58.9 |
26.7 |
3933831168 |
true |
55.8 |
22.0 |
3596312576 |
true |
60.8 |
22.7 |
4103561216 |
true |
38.2 |
38.2 |
2044219392 |
true |
68.3 |
34.6 |
4094808064 |
true |
63.3 |
21.9 |
3550298112 |
true |
62.7 |
18.7 |
3725774848 |
true |
64.0 |
17.3 |
3843887104 |
true |
38.4 |
38.4 |
2030182400 |
true |
65.0 |
33.0 |
4149452800 |
true |
66.6 |
18.2 |
3454889984 |
true |
60.4 |
13.6 |
3607216128 |
true |
62.9 |
12.5 |
3818373120 |
true |
37.2 |
37.2 |
2012962816 |
true |
69.3 |
35.1 |
3497562112 |
true |
73.4 |
20.0 |
3686141952 |
true |
88.7 |
17.0 |
4299878400 |
true |
68.4 |
11.9 |
3707330560 |
true |
37.4 |
37.4 |
1998061568 |
true |
71.4 |
36.2 |
4018429952 |
true |
79.9 |
21.8 |
3598700544 |
true |
72.4 |
14.5 |
3755335680 |
true |
78.9 |
12.4 |
3588186112 |
Problem06_label55_true-unreach-call.c |
true |
38.0 |
38.0 |
2018127872 |
true |
56.3 |
35.6 |
3660148736 |
true |
57.0 |
25.9 |
3793448960 |
true |
58.0 |
24.1 |
4071391232 |
true |
58.1 |
21.2 |
3894726656 |
true |
37.8 |
37.8 |
1997766656 |
true |
67.7 |
34.3 |
3711426560 |
true |
59.9 |
20.1 |
3874009088 |
true |
56.7 |
16.2 |
3763376128 |
true |
58.2 |
14.7 |
3684315136 |
true |
37.9 |
38.0 |
2006585344 |
true |
64.2 |
32.6 |
3761950720 |
true |
67.9 |
19.0 |
3774386176 |
true |
66.9 |
15.2 |
3798503424 |
true |
66.4 |
13.4 |
3987570688 |
true |
38.3 |
38.3 |
2023378944 |
true |
68.7 |
34.9 |
3892629504 |
true |
73.5 |
20.3 |
3608211456 |
true |
72.6 |
14.3 |
4097966080 |
true |
67.0 |
11.5 |
3745370112 |
true |
37.4 |
37.4 |
2007490560 |
true |
65.5 |
33.2 |
3836395520 |
true |
74.3 |
20.3 |
3740770304 |
true |
73.0 |
14.5 |
3407912960 |
true |
70.7 |
11.4 |
3674148864 |
Problem06_label57_true-unreach-call.c |
true |
37.5 |
37.5 |
2004754432 |
true |
56.5 |
35.2 |
4090130432 |
true |
59.2 |
26.6 |
3906736128 |
true |
55.9 |
22.4 |
3824930816 |
true |
60.1 |
21.8 |
4007665664 |
true |
37.7 |
37.8 |
1985671168 |
true |
64.5 |
32.7 |
3865985024 |
true |
62.0 |
21.0 |
3872952320 |
true |
62.4 |
19.0 |
3749867520 |
true |
60.4 |
15.6 |
3852275712 |
true |
37.0 |
37.0 |
1979154432 |
true |
69.0 |
34.9 |
3608723456 |
true |
67.1 |
18.7 |
3593265152 |
true |
62.1 |
14.0 |
3463213056 |
true |
67.6 |
13.6 |
3754889216 |
true |
39.0 |
39.0 |
2015383552 |
true |
69.1 |
35.0 |
3821080576 |
true |
66.3 |
18.2 |
3672199168 |
true |
69.0 |
13.8 |
3679174656 |
true |
67.5 |
11.7 |
3793514496 |
true |
38.5 |
38.5 |
2006675456 |
true |
69.4 |
35.1 |
3923517440 |
true |
79.3 |
21.7 |
3725148160 |
true |
72.4 |
14.3 |
3646087168 |
true |
69.8 |
11.1 |
3531239424 |
../../../sv-benchmarks/c/eca-rers2012/ |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
status |
cputime (s) |
walltime (s) |
memUsage |
total |
154 |
4080 |
4080 |
213719326720 |
154 |
6220 |
3940 |
427299856384 |
154 |
6440 |
2920 |
426123702272 |
154 |
6390 |
2590 |
430348804096 |
154 |
6670 |
2480 |
441401573376 |
154 |
4060 |
4060 |
213289263104 |
154 |
7370 |
3740 |
426708500480 |
154 |
6820 |
2350 |
422601273344 |
154 |
6730 |
1990 |
433085988864 |
154 |
6850 |
1790 |
442638815232 |
154 |
4060 |
4060 |
213021966336 |
154 |
7500 |
3800 |
432107347968 |
154 |
7800 |
2170 |
420554764288 |
154 |
7450 |
1710 |
419338940416 |
154 |
7490 |
1520 |
432818814976 |
154 |
4080 |
4080 |
213408759808 |
154 |
7750 |
3930 |
426218061824 |
154 |
8150 |
2240 |
416252710912 |
154 |
8230 |
1640 |
415865765888 |
154 |
8210 |
1440 |
419642781696 |
154 |
4070 |
4080 |
213197205504 |
154 |
8280 |
4190 |
426791006208 |
154 |
8590 |
2350 |
415073861632 |
154 |
8630 |
1710 |
413979652096 |
154 |
8920 |
1410 |
419720663040 |
correct results |
154 |
4080 |
4080 |
213719326720 |
154 |
6220 |
3940 |
427299856384 |
154 |
6440 |
2920 |
426123702272 |
154 |
6390 |
2590 |
430348804096 |
154 |
6670 |
2480 |
441401573376 |
154 |
4060 |
4060 |
213289263104 |
154 |
7370 |
3740 |
426708500480 |
154 |
6820 |
2350 |
422601273344 |
154 |
6730 |
1990 |
433085988864 |
154 |
6850 |
1790 |
442638815232 |
154 |
4060 |
4060 |
213021966336 |
154 |
7500 |
3800 |
432107347968 |
154 |
7800 |
2170 |
420554764288 |
154 |
7450 |
1710 |
419338940416 |
154 |
7490 |
1520 |
432818814976 |
154 |
4080 |
4080 |
213408759808 |
154 |
7750 |
3930 |
426218061824 |
154 |
8150 |
2240 |
416252710912 |
154 |
8230 |
1640 |
415865765888 |
154 |
8210 |
1440 |
419642781696 |
154 |
4070 |
4080 |
213197205504 |
154 |
8280 |
4190 |
426791006208 |
154 |
8590 |
2350 |
415073861632 |
154 |
8630 |
1710 |
413979652096 |
154 |
8920 |
1410 |
419720663040 |
correct true |
154 |
4080 |
4080 |
213719326720 |
154 |
6220 |
3940 |
427299856384 |
154 |
6440 |
2920 |
426123702272 |
154 |
6390 |
2590 |
430348804096 |
154 |
6670 |
2480 |
441401573376 |
154 |
4060 |
4060 |
213289263104 |
154 |
7370 |
3740 |
426708500480 |
154 |
6820 |
2350 |
422601273344 |
154 |
6730 |
1990 |
433085988864 |
154 |
6850 |
1790 |
442638815232 |
154 |
4060 |
4060 |
213021966336 |
154 |
7500 |
3800 |
432107347968 |
154 |
7800 |
2170 |
420554764288 |
154 |
7450 |
1710 |
419338940416 |
154 |
7490 |
1520 |
432818814976 |
154 |
4080 |
4080 |
213408759808 |
154 |
7750 |
3930 |
426218061824 |
154 |
8150 |
2240 |
416252710912 |
154 |
8230 |
1640 |
415865765888 |
154 |
8210 |
1440 |
419642781696 |
154 |
4070 |
4080 |
213197205504 |
154 |
8280 |
4190 |
426791006208 |
154 |
8590 |
2350 |
415073861632 |
154 |
8630 |
1710 |
413979652096 |
154 |
8920 |
1410 |
419720663040 |
correct false |
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
incorrect results |
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
incorrect true |
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
incorrect false |
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
0 |
|
|
|
score (154 tasks, max score: 308) |
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
308 |
|
|
|
Run set |
bam-parallel-ECA-fl-core1-gc1.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc1.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc1.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc1.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-8.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core1-gc2.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc2.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc2.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc2.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-8.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core1-gc4.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc4.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc4.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc4.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-8.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core1-gc6.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc6.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc6.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc6.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-8.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core1-gc8.VA-parallelBAM-1.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core2-gc8.VA-parallelBAM-2.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core4-gc8.VA-parallelBAM-4.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core6-gc8.VA-parallelBAM-6.ReachSafety-ECA-true |
bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-8.ReachSafety-ECA-true |