| systemc/kundu1_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
58.0 |
32.9 |
1316823040 |
| systemc/kundu2_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
496 |
438 |
6494826496 |
| systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
8.67 |
5.13 |
248213504 |
| systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
11.6 |
6.73 |
319365120 |
| systemc/pipeline_false-unreach-call_false-termination.cil.c |
out of memory |
560 |
392 |
8000000000 |
| systemc/token_ring.01_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
26.0 |
14.0 |
621121536 |
| systemc/token_ring.02_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
47.4 |
25.5 |
856403968 |
| systemc/token_ring.03_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
91.0 |
59.4 |
4706734080 |
| systemc/token_ring.04_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
171 |
130 |
5611102208 |
| systemc/token_ring.05_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
368 |
300 |
5938118656 |
| systemc/token_ring.06_false-unreach-call_false-termination.cil.c |
out of memory |
565 |
480 |
8000000000 |
| systemc/token_ring.07_false-unreach-call_false-termination.cil.c |
out of memory |
505 |
437 |
8000000000 |
| systemc/token_ring.08_false-unreach-call_false-termination.cil.c |
timeout |
900 |
748 |
7993769984 |
| systemc/token_ring.09_false-unreach-call_false-termination.cil.c |
out of memory |
664 |
569 |
8000000000 |
| systemc/token_ring.10_false-unreach-call_false-termination.cil.c |
out of memory |
669 |
575 |
8000000000 |
| systemc/token_ring.11_false-unreach-call_false-termination.cil.c |
out of memory |
445 |
385 |
8000000000 |
| systemc/token_ring.12_false-unreach-call_false-termination.cil.c |
out of memory |
833 |
711 |
8000004096 |
| systemc/token_ring.13_false-unreach-call_false-termination.cil.c |
out of memory |
624 |
546 |
8000000000 |
| systemc/token_ring.14_false-unreach-call_false-termination.cil.c |
out of memory |
636 |
561 |
8000000000 |
| systemc/token_ring.15_false-unreach-call_false-termination.cil.c |
out of memory |
593 |
510 |
8000000000 |
| systemc/toy1_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
77.7 |
45.9 |
2424393728 |
| systemc/toy2_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
63.7 |
37.8 |
2419064832 |
| systemc/transmitter.01_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
20.4 |
11.2 |
526983168 |
| systemc/transmitter.02_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
36.1 |
19.9 |
921456640 |
| systemc/transmitter.03_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
57.5 |
36.3 |
2731290624 |
| systemc/transmitter.04_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
159 |
121 |
5685014528 |
| systemc/transmitter.05_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
665 |
546 |
7919865856 |
| systemc/transmitter.06_false-unreach-call_false-termination.cil.c |
out of memory |
300 |
231 |
8000000000 |
| systemc/transmitter.07_false-unreach-call_false-termination.cil.c |
out of memory |
314 |
240 |
8000000000 |
| systemc/transmitter.08_false-unreach-call_false-termination.cil.c |
out of memory |
372 |
292 |
8000000000 |
| systemc/transmitter.09_false-unreach-call_false-termination.cil.c |
out of memory |
360 |
275 |
8000000000 |
| systemc/transmitter.10_false-unreach-call_false-termination.cil.c |
out of memory |
325 |
253 |
8000000000 |
| systemc/transmitter.11_false-unreach-call_false-termination.cil.c |
out of memory |
363 |
286 |
8000000000 |
| systemc/transmitter.12_false-unreach-call_false-termination.cil.c |
out of memory |
369 |
292 |
8000000000 |
| systemc/transmitter.13_false-unreach-call_false-termination.cil.c |
out of memory |
349 |
278 |
8000000000 |
| systemc/transmitter.15_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
104 |
66.0 |
3435991040 |
| systemc/transmitter.16_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
134 |
95.5 |
4568174592 |
| systemc/bist_cell_true-unreach-call_false-termination.cil.c |
true |
63.2 |
38.4 |
843898880 |
| systemc/kundu_true-unreach-call_false-termination.cil.c |
timeout |
901 |
822 |
7316725760 |
| systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c |
true |
165 |
121 |
3114414080 |
| systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c |
true |
263 |
209 |
3552219136 |
| systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c |
true |
401 |
331 |
4276494336 |
| systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c |
true |
805 |
723 |
4521127936 |
| systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c |
timeout |
901 |
818 |
4606992384 |
| systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c |
true |
28.6 |
17.3 |
670957568 |
| systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c |
true |
79.4 |
52.0 |
1714561024 |
| systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c |
true |
28.4 |
15.2 |
717770752 |
| systemc/pipeline_true-unreach-call_false-termination.cil.c |
out of memory |
271 |
188 |
8000000000 |
| systemc/token_ring.01_true-unreach-call_false-termination.cil.c |
true |
46.7 |
27.8 |
778244096 |
| systemc/token_ring.02_true-unreach-call_false-termination.cil.c |
true |
95.6 |
67.0 |
1909616640 |
| systemc/token_ring.03_true-unreach-call_false-termination.cil.c |
true |
318 |
259 |
4751781888 |
| systemc/token_ring.04_true-unreach-call_false-termination.cil.c |
timeout |
901 |
767 |
6761828352 |
| systemc/token_ring.05_true-unreach-call_false-termination.cil.c |
out of memory |
371 |
294 |
8000000000 |
| systemc/token_ring.06_true-unreach-call_false-termination.cil.c |
out of memory |
307 |
245 |
8000000000 |
| systemc/token_ring.07_true-unreach-call_false-termination.cil.c |
out of memory |
370 |
294 |
8000000000 |
| systemc/token_ring.08_true-unreach-call_false-termination.cil.c |
out of memory |
423 |
337 |
8000000000 |
| systemc/token_ring.09_true-unreach-call_false-termination.cil.c |
out of memory |
416 |
330 |
8000000000 |
| systemc/token_ring.10_true-unreach-call_false-termination.cil.c |
out of memory |
342 |
271 |
8000000000 |
| systemc/token_ring.11_true-unreach-call_false-termination.cil.c |
out of memory |
352 |
272 |
8000000000 |
| systemc/token_ring.12_true-unreach-call_false-termination.cil.c |
out of memory |
380 |
291 |
8000000000 |
| systemc/token_ring.13_true-unreach-call_false-termination.cil.c |
out of memory |
369 |
284 |
8000000000 |
| systemc/toy_true-unreach-call_false-termination.cil.c |
true |
147 |
103 |
3855159296 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c |
false(unreach-call) |
41.8 |
23.3 |
718979072 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
false(unreach-call) |
41.0 |
23.0 |
720502784 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c |
false(unreach-call) |
130 |
88.0 |
1440792576 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c |
false(unreach-call) |
130 |
87.3 |
1516220416 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c |
false(unreach-call) |
181 |
131 |
2023477248 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c |
false(unreach-call) |
181 |
132 |
2073903104 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c |
timeout |
901 |
821 |
5002731520 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c |
timeout |
901 |
820 |
4760657920 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c |
false(unreach-call) |
428 |
364 |
4381372416 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
false(unreach-call) |
425 |
365 |
4449705984 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c |
false(unreach-call) |
698 |
617 |
5061136384 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
false(unreach-call) |
751 |
673 |
5038694400 |
| seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
594 |
508 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
333 |
265 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
355 |
286 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
548 |
459 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
484 |
391 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c |
out of memory |
444 |
364 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
302 |
256 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c |
out of memory |
563 |
476 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
400 |
331 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
712 |
608 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
441 |
363 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
487 |
399 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
598 |
495 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
523 |
439 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c |
out of memory |
472 |
383 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
406 |
331 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c |
out of memory |
595 |
489 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
745 |
639 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
365 |
269 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
323 |
246 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
270 |
204 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
365 |
264 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
340 |
250 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c |
out of memory |
356 |
258 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
222 |
168 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c |
out of memory |
362 |
259 |
8000004096 |
| seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
223 |
158 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c |
timeout |
900 |
812 |
6731378688 |
| seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
timeout |
900 |
809 |
6730031104 |
| seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c |
false(unreach-call) |
775 |
696 |
5853331456 |
| seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
false(unreach-call) |
724 |
645 |
5851213824 |
| seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c |
timeout |
900 |
797 |
7672446976 |
| seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
timeout |
901 |
790 |
7239884800 |
| seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c |
timeout |
901 |
802 |
7665868800 |
| seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
870 |
793 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
631 |
537 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
658 |
562 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
699 |
602 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
665 |
578 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c |
out of memory |
502 |
413 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
320 |
270 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c |
out of memory |
517 |
423 |
8000008192 |
| seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
620 |
526 |
8000000000 |
| seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c |
timeout |
901 |
823 |
4808855552 |
| seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
false(unreach-call) |
798 |
726 |
4556091392 |
| seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
823 |
5528276992 |
| seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c |
timeout |
901 |
816 |
5870194688 |
| seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
timeout |
901 |
822 |
6507655168 |
| seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
834 |
5105475584 |
| seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c |
timeout |
901 |
819 |
5958512640 |
| seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
timeout |
901 |
805 |
6558126080 |
| seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
823 |
6071861248 |
| seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c |
timeout |
901 |
821 |
7348137984 |
| seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
timeout |
901 |
830 |
5933297664 |
| seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
831 |
6540439552 |
| seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c |
timeout |
900 |
828 |
6343856128 |
| seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
timeout |
900 |
809 |
7438028800 |
| seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
827 |
6237921280 |
| seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c |
timeout |
901 |
826 |
6942425088 |
| seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
555 |
475 |
8000000000 |
| seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
812 |
7520763904 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
542 |
466 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
634 |
542 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
593 |
489 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
487 |
402 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
503 |
420 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c |
out of memory |
432 |
352 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
371 |
299 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c |
out of memory |
442 |
371 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
763 |
653 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
413 |
331 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
412 |
341 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
628 |
526 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
528 |
433 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
366 |
305 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c |
out of memory |
447 |
362 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
448 |
368 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c |
out of memory |
559 |
465 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
370 |
295 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
359 |
261 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
out of memory |
288 |
205 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
326 |
249 |
8000004096 |
| seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
out of memory |
276 |
196 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
267 |
183 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c |
out of memory |
356 |
263 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
335 |
235 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c |
out of memory |
340 |
244 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
363 |
270 |
8000000000 |
| seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c |
timeout |
900 |
871 |
2422816768 |
| seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c |
timeout |
901 |
827 |
5877096448 |
| seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c |
timeout |
900 |
867 |
2720456704 |
| seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c |
timeout |
901 |
833 |
6124355584 |
| seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c |
timeout |
900 |
862 |
3644674048 |
| seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c |
timeout |
901 |
817 |
6561648640 |
| seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c |
timeout |
900 |
866 |
3687636992 |
| seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c |
timeout |
901 |
819 |
6530416640 |
| seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c |
timeout |
901 |
799 |
7203926016 |
| seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c |
out of memory |
413 |
327 |
8000000000 |
| seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c |
timeout |
900 |
876 |
1891786752 |
| seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c |
timeout |
901 |
845 |
5494882304 |
| seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c |
timeout |
900 |
877 |
1909899264 |
| seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c |
timeout |
901 |
844 |
5681876992 |
| seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c |
timeout |
900 |
870 |
2680926208 |
| seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c |
timeout |
901 |
821 |
6315376640 |
| seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c |
timeout |
900 |
870 |
3112103936 |
| seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c |
timeout |
901 |
823 |
6402531328 |
| seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c |
timeout |
900 |
859 |
3424821248 |
| seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c |
timeout |
901 |
799 |
6988861440 |
| seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c |
timeout |
901 |
844 |
5668257792 |
| seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c |
timeout |
901 |
824 |
6433243136 |
| seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c |
timeout |
900 |
877 |
1733275648 |
| seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c |
timeout |
901 |
855 |
5000589312 |
| seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c |
timeout |
900 |
872 |
2285510656 |
| seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c |
timeout |
901 |
844 |
5393686528 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c |
timeout |
901 |
824 |
4913369088 |
| seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
822 |
4922249216 |
| seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c |
timeout |
901 |
815 |
5177999360 |
| seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
900 |
821 |
5218398208 |
| seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
515 |
430 |
8000000000 |
| seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
479 |
404 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
628 |
524 |
8000000000 |
| seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
578 |
486 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
340 |
244 |
8000000000 |
| seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
263 |
194 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c |
timeout |
901 |
818 |
6639165440 |
| seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
900 |
808 |
6683705344 |
| seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
735 |
652 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
900 |
791 |
7282941952 |
| seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
644 |
538 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
771 |
676 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c |
out of memory |
513 |
423 |
8000000000 |
| seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
340 |
266 |
8000000000 |
| seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c |
timeout |
901 |
815 |
5219282944 |
| seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
900 |
821 |
4985016320 |
| seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c |
timeout |
901 |
816 |
5852073984 |
| seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
818 |
6589558784 |
| seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c |
timeout |
901 |
821 |
6009724928 |
| seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
800 |
6910459904 |
| seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c |
timeout |
901 |
816 |
7413272576 |
| seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
828 |
6160052224 |
| seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c |
timeout |
901 |
827 |
6316326912 |
| seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c |
timeout |
901 |
816 |
7444566016 |
| seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c |
timeout |
901 |
830 |
6490411008 |
| seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
563 |
486 |
8000004096 |
| seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c |
out of memory |
645 |
548 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
374 |
324 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c |
out of memory |
380 |
297 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
438 |
355 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c |
out of memory |
317 |
243 |
8000000000 |
| seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c |
out of memory |
349 |
259 |
8000000000 |
| seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c |
timeout |
900 |
873 |
2344968192 |
| seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c |
timeout |
901 |
823 |
6022963200 |
| seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c |
timeout |
900 |
865 |
3951476736 |
| seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c |
timeout |
901 |
824 |
6597222400 |
| seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c |
timeout |
901 |
796 |
7313014784 |
| seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c |
timeout |
901 |
793 |
6930132992 |
| seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c |
out of memory |
351 |
265 |
8000000000 |
| seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c |
out of memory |
180 |
107 |
8000000000 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c |
timeout |
900 |
875 |
1887277056 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c |
timeout |
901 |
843 |
5450543104 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c |
timeout |
900 |
876 |
2317213696 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c |
timeout |
901 |
849 |
5435965440 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c |
timeout |
900 |
874 |
2373488640 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c |
timeout |
901 |
849 |
5901852672 |
| seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c |
timeout |
900 |
872 |
2675331072 |
| seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c |
timeout |
901 |
826 |
6275493888 |
| seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c |
timeout |
900 |
859 |
3473080320 |
| seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c |
timeout |
901 |
798 |
6960611328 |
| seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c |
timeout |
900 |
861 |
3534696448 |
| seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c |
timeout |
901 |
796 |
7006748672 |
| seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c |
timeout |
901 |
842 |
5700075520 |
| seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c |
timeout |
901 |
845 |
5660336128 |
| seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c |
timeout |
901 |
815 |
6447538176 |
| seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c |
timeout |
901 |
803 |
6845779968 |
| seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c |
timeout |
900 |
876 |
1811312640 |
| seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c |
timeout |
901 |
854 |
5012209664 |
| seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c |
timeout |
900 |
877 |
1646395392 |
| seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c |
timeout |
901 |
851 |
4984664064 |
| seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c |
timeout |
900 |
875 |
2204364800 |
| seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c |
timeout |
901 |
841 |
5765804032 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
610 |
542 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
false(unreach-call) |
44.4 |
23.7 |
941207552 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
false(unreach-call) |
53.3 |
30.8 |
2074820608 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
676 |
602 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
false(unreach-call) |
41.6 |
22.2 |
925192192 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
false(unreach-call) |
50.3 |
27.5 |
1289875456 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
641 |
578 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
false(unreach-call) |
52.0 |
30.5 |
1237508096 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
false(unreach-call) |
57.5 |
36.4 |
2092761088 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
559 |
496 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
false(unreach-call) |
54.9 |
32.0 |
1788186624 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
false(unreach-call) |
78.9 |
52.2 |
3048931328 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
675 |
599 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
false(unreach-call) |
761 |
692 |
6406967296 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
timeout |
901 |
816 |
7039074304 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
523 |
449 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
false(unreach-call) |
318 |
266 |
5782683648 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
out of memory |
698 |
618 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
760 |
695 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
false(unreach-call) |
181 |
142 |
5216935936 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
false(unreach-call) |
662 |
599 |
6563545088 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
505 |
443 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
false(unreach-call) |
145 |
111 |
5104017408 |
| seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
829 |
7562313728 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
out of memory |
895 |
795 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
792 |
720 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
900 |
809 |
7847542784 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
879 |
782 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
814 |
7988834304 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
900 |
809 |
7613931520 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
timeout |
901 |
793 |
7794724864 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
769 |
686 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
900 |
810 |
7954624512 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
770 |
691 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
out of memory |
800 |
720 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
out of memory |
726 |
643 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
out of memory |
754 |
674 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
606 |
546 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
900 |
804 |
7855964160 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
744 |
668 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
out of memory |
494 |
422 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
900 |
802 |
7791779840 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
out of memory |
702 |
617 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
535 |
458 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
out of memory |
891 |
801 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
876 |
803 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
out of memory |
884 |
803 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
out of memory |
789 |
720 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
478 |
402 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
out of memory |
664 |
593 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
469 |
398 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
error (7) |
17.7 |
9.49 |
278093824 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
error (7) |
17.2 |
9.29 |
283893760 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
491 |
419 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
error (7) |
20.1 |
10.8 |
306241536 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
error (7) |
18.5 |
10.1 |
292683776 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
464 |
387 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
out of memory |
493 |
428 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c |
error (7) |
18.1 |
9.76 |
309239808 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
505 |
418 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
timeout |
901 |
796 |
7696056320 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
timeout |
900 |
826 |
7044489216 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
timeout |
901 |
830 |
5704810496 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
timeout |
901 |
848 |
5268885504 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c |
timeout |
901 |
830 |
5610741760 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
821 |
6426058752 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
838 |
5093769216 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
838 |
5332615168 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
830 |
5662416896 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
timeout |
901 |
825 |
5778427904 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
timeout |
901 |
827 |
5849677824 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
timeout |
901 |
843 |
5172215808 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+sep-reducer.c |
timeout |
901 |
832 |
5782495232 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
827 |
7317712896 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
829 |
5897797632 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
902 |
837 |
5265985536 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
830 |
5871919104 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c |
timeout |
900 |
799 |
7555977216 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
out of memory |
851 |
754 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
timeout |
901 |
836 |
5842362368 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
901 |
840 |
6490853376 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c |
timeout |
901 |
833 |
4980150272 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
640 |
564 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
839 |
5781786624 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
846 |
6448918528 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
836 |
4795109376 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
timeout |
900 |
803 |
7978020864 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
timeout |
901 |
842 |
5230383104 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
901 |
846 |
6075023360 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+sep-reducer.c |
timeout |
901 |
839 |
4741300224 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
707 |
644 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
849 |
4849364992 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
851 |
6214569984 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
835 |
4843339776 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
688 |
618 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
timeout |
901 |
822 |
6240641024 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
timeout |
900 |
815 |
7341891584 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
528 |
467 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
828 |
6097641472 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
900 |
832 |
7807127552 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c |
out of memory |
521 |
438 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
509 |
437 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
timeout |
901 |
836 |
6036017152 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
timeout |
900 |
813 |
7801028608 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+sep-reducer.c |
timeout |
901 |
825 |
4906299392 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
710 |
619 |
8000004096 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
831 |
6229213184 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
840 |
6891683840 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
819 |
5344804864 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c |
out of memory |
726 |
623 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c |
out of memory |
265 |
212 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
465 |
408 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
804 |
7904755712 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c |
out of memory |
284 |
213 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c |
out of memory |
703 |
622 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c |
out of memory |
525 |
436 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
734 |
647 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
out of memory |
730 |
654 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
timeout |
901 |
819 |
5948088320 |
| seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
timeout |
901 |
833 |
5284139008 |
| seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
timeout |
900 |
837 |
5332668416 |
| seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c |
timeout |
901 |
823 |
5448015872 |
| seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
819 |
6006992896 |
| seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
830 |
5441073152 |
| seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
832 |
4847722496 |
| seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
829 |
5363613696 |
| seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
timeout |
901 |
825 |
5930733568 |
| seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
timeout |
901 |
835 |
5196894208 |
| seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
900 |
841 |
4718407680 |
| seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c |
timeout |
901 |
832 |
5319475200 |
| seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
826 |
6179692544 |
| seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
839 |
4988891136 |
| seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
847 |
4782858240 |
| seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
838 |
5188493312 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c |
timeout |
901 |
820 |
6966312960 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
timeout |
902 |
822 |
7944265728 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
timeout |
901 |
846 |
4892336128 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
timeout |
901 |
846 |
5136535552 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+sep-reducer.c |
timeout |
901 |
843 |
4795338752 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c |
out of memory |
853 |
774 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
812 |
7066849280 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
846 |
5018476544 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
846 |
5088407552 |
| seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
842 |
5157580800 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c |
out of memory |
417 |
346 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c |
timeout |
901 |
815 |
7153491968 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c |
timeout |
901 |
840 |
4548161536 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c |
timeout |
901 |
848 |
6131392512 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c |
timeout |
901 |
834 |
4749946880 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c |
out of memory |
503 |
448 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
826 |
6902272000 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
833 |
4427870208 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
842 |
6167506944 |
| seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
835 |
3414253568 |
| seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c |
timeout |
901 |
827 |
7307341824 |
| seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c |
timeout |
901 |
824 |
4722933760 |
| seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c |
timeout |
901 |
836 |
6982008832 |
| seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c |
timeout |
901 |
825 |
4741701632 |
| seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
900 |
806 |
7861133312 |
| seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
838 |
4772364288 |
| seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
839 |
6122876928 |
| seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
822 |
4674064384 |
| seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+cfa-reducer.c |
out of memory |
425 |
354 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+lhb-reducer.c |
timeout |
901 |
821 |
4852273152 |
| seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+nlh-reducer.c |
timeout |
901 |
838 |
6709702656 |
| seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
378 |
323 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
820 |
4783476736 |
| seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
832 |
7169740800 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
653 |
563 |
8000004096 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
false(unreach-call) |
40.3 |
21.8 |
874344448 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
false(unreach-call) |
43.1 |
23.3 |
962957312 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
809 |
7808602112 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
false(unreach-call) |
51.0 |
28.5 |
1374380032 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
false(unreach-call) |
38.3 |
20.5 |
883437568 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
665 |
598 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
false(unreach-call) |
293 |
243 |
6372806656 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
897 |
813 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
false(unreach-call) |
122 |
91.0 |
4915077120 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
false(unreach-call) |
214 |
179 |
5277470720 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
699 |
609 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
out of memory |
713 |
629 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
out of memory |
586 |
515 |
8000004096 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
602 |
524 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
814 |
6872932352 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
900 |
805 |
7638716416 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
617 |
534 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
timeout |
901 |
814 |
7796424704 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
false(unreach-call) |
405 |
355 |
5900107776 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
805 |
7745769472 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
false(unreach-call) |
819 |
729 |
7565537280 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
out of memory |
736 |
658 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
timeout |
901 |
798 |
7900561408 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
out of memory |
530 |
457 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
729 |
649 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
out of memory |
647 |
563 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
out of memory |
570 |
495 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
timeout |
902 |
797 |
7954788352 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
693 |
612 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
out of memory |
880 |
798 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
900 |
798 |
7991439360 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
out of memory |
590 |
520 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
out of memory |
808 |
728 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
timeout |
901 |
796 |
7879938048 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
592 |
515 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
900 |
792 |
7991246848 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
865 |
788 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
out of memory |
689 |
601 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
error (7) |
19.0 |
10.2 |
285818880 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
out of memory |
852 |
771 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
606 |
542 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
901 |
817 |
7650492416 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
826 |
736 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
815 |
7260565504 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
813 |
7389913088 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
486 |
404 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
out of memory |
468 |
366 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
out of memory |
237 |
189 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
419 |
342 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
error (7) |
17.2 |
9.34 |
279719936 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
error (7) |
20.3 |
10.9 |
301109248 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
481 |
409 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
error (7) |
17.9 |
9.63 |
308871168 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
error (7) |
19.4 |
10.5 |
305348608 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
420 |
341 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
out of memory |
556 |
439 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
out of memory |
373 |
296 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c |
error (7) |
18.8 |
10.2 |
321896448 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
427 |
363 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
out of memory |
526 |
415 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
out of memory |
448 |
356 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
608 |
547 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
timeout |
901 |
817 |
6395510784 |
| seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
timeout |
901 |
804 |
6759604224 |
| seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
550 |
489 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
823 |
6300082176 |
| seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
820 |
7339589632 |
| seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c |
out of memory |
367 |
291 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
out of memory |
607 |
537 |
8000004096 |
| seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
570 |
482 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c |
out of memory |
435 |
332 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
790 |
701 |
8000000000 |
| seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
out of memory |
616 |
546 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
timeout |
901 |
822 |
7219666944 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
timeout |
901 |
830 |
5851754496 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
timeout |
901 |
846 |
5601169408 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c |
timeout |
901 |
828 |
5320880128 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
822 |
6512541696 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
834 |
5278621696 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
844 |
5280104448 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
827 |
4950495232 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
out of memory |
680 |
608 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
timeout |
901 |
837 |
5845590016 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
901 |
835 |
6998061056 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c |
timeout |
901 |
830 |
4931424256 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
645 |
574 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
842 |
5685080064 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
846 |
6415310848 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
840 |
4751659008 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c |
out of memory |
457 |
373 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
out of memory |
766 |
671 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
timeout |
902 |
807 |
7772835840 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
551 |
485 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
832 |
7476830208 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c |
out of memory |
718 |
627 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c |
out of memory |
512 |
421 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
488 |
419 |
8000004096 |
| seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
timeout |
901 |
827 |
6011342848 |
| seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
timeout |
901 |
825 |
5264306176 |
| seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
timeout |
901 |
835 |
5345128448 |
| seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c |
timeout |
901 |
831 |
5342380032 |
| seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
818 |
5542219776 |
| seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
827 |
5749817344 |
| seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
841 |
4986580992 |
| seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
831 |
5332193280 |
| seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
timeout |
901 |
822 |
5834305536 |
| seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
timeout |
901 |
838 |
5318397952 |
| seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
timeout |
901 |
837 |
4768784384 |
| seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c |
timeout |
901 |
842 |
5015216128 |
| seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
902 |
827 |
6198333440 |
| seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
847 |
4921757696 |
| seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
851 |
4685934592 |
| seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
836 |
5128347648 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c |
timeout |
901 |
822 |
6881898496 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c |
timeout |
901 |
814 |
7904243712 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c |
timeout |
901 |
843 |
4983181312 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c |
timeout |
901 |
845 |
4964265984 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c |
timeout |
901 |
833 |
4892205056 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
813 |
7018209280 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
843 |
4995096576 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
847 |
4669108224 |
| seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
837 |
4965056512 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c |
out of memory |
803 |
721 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c |
timeout |
901 |
820 |
7196192768 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c |
timeout |
901 |
825 |
2877833216 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c |
timeout |
901 |
839 |
6066556928 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c |
timeout |
901 |
829 |
3548647424 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c |
timeout |
901 |
820 |
7195828224 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
timeout |
901 |
830 |
6830534656 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
timeout |
901 |
827 |
2658689024 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
844 |
5746208768 |
| seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c |
timeout |
901 |
827 |
4839976960 |
| seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c |
timeout |
901 |
833 |
7445975040 |
| seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c |
timeout |
901 |
824 |
3109900288 |
| seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c |
timeout |
901 |
845 |
5698682880 |
| seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
806 |
729 |
8000000000 |
| seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
836 |
5305798656 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c |
out of memory |
786 |
705 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c |
timeout |
901 |
808 |
7366766592 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c |
timeout |
901 |
817 |
7085244416 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
out of memory |
713 |
634 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c |
timeout |
901 |
819 |
6769926144 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c |
out of memory |
858 |
776 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c |
out of memory |
746 |
662 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c |
out of memory |
688 |
612 |
8000004096 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c |
out of memory |
797 |
708 |
8000000000 |
| seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c |
error (7) |
21.3 |
11.5 |
312696832 |
| seq-pthread/cs_fib_false-unreach-call.i |
timeout |
901 |
819 |
4239020032 |
| seq-pthread/cs_fib_longer_false-unreach-call.i |
timeout |
901 |
822 |
4581621760 |
| seq-pthread/cs_lazy_false-unreach-call_true-termination.i |
timeout |
901 |
820 |
1922981888 |
| seq-pthread/cs_queue_false-unreach-call.i |
timeout |
900 |
887 |
987295744 |
| seq-pthread/cs_read_write_lock_false-unreach-call.i |
error (7) |
17.5 |
9.93 |
265179136 |
| seq-pthread/cs_stack_false-unreach-call.i |
timeout |
901 |
837 |
2030206976 |
| seq-pthread/cs_stateful_false-unreach-call_true-termination.i |
timeout |
900 |
804 |
2751344640 |
| seq-pthread/cs_dekker_true-unreach-call.i |
timeout |
901 |
823 |
3584114688 |
| seq-pthread/cs_fib_longer_true-unreach-call.i |
timeout |
901 |
854 |
4013461504 |
| seq-pthread/cs_fib_true-unreach-call.i |
timeout |
901 |
839 |
3460046848 |
| seq-pthread/cs_lamport_true-unreach-call.i |
timeout |
901 |
801 |
3607007232 |
| seq-pthread/cs_peterson_true-unreach-call.i |
timeout |
901 |
821 |
3430043648 |
| seq-pthread/cs_queue_true-unreach-call.i |
timeout |
900 |
890 |
801050624 |
| seq-pthread/cs_read_write_lock_true-unreach-call.i |
error (7) |
18.5 |
10.4 |
268992512 |
| seq-pthread/cs_stack_true-unreach-call.i |
timeout |
901 |
802 |
4665143296 |
| seq-pthread/cs_stateful_true-unreach-call.i |
timeout |
901 |
834 |
2514378752 |
| seq-pthread/cs_sync_true-unreach-call.i |
timeout |
901 |
841 |
2286514176 |
| seq-pthread/cs_szymanski_true-unreach-call.i |
timeout |
901 |
835 |
2915827712 |
| seq-pthread/cs_time_var_mutex_true-unreach-call.i |
timeout |
901 |
802 |
3969937408 |