| Tool |
CPAchecker 1.3.4-svn 13949 |
| Limits |
timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2 |
| Host |
[cs-sel-05; cs-sel-06; db1; db2; db3; db4; db5; db6; db7; db8] |
| OS |
[Linux 3.13.0-36-generic; Linux 3.13.0-37-generic] |
| System |
CPU: [Intel Core i7-2600K @ 3.40 GHz; Intel Core i7-2600 @ 3.40 GHz] with 8 cores, frequency: 3.4 GHz; RAM: [16 GB; 33 GB] |
| Date of execution |
14-10-16 18:16 |
| Run set |
va_default__pred_sbe |
va_domain__pred_sbe |
| Options |
-disable-java-assertions -noout -setprop log.consoleLevel=WARNING -heap 12000M -skipRecursion -ldv -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CPACHECKER -setprop counterexample.checker.config=config/predicateAnalysis-as-bitprecise-cex-check.properties -setprop cpa.value.refiner.prefixPreference=DEFAULT -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.abstraction.computation=CARTESIAN |
-disable-java-assertions -noout -setprop log.consoleLevel=WARNING -heap 12000M -skipRecursion -ldv -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CPACHECKER -setprop counterexample.checker.config=config/predicateAnalysis-as-bitprecise-cex-check.properties -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_DEEP -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.abstraction.computation=CARTESIAN |
| Propertyfile |
./benchmarks/slicedItp/svcomp14/ldv-consumption/ALL.prp |
| ../benchmarks/slicedItp/svcomp14/ |
status |
cputime |
walltime |
host |
memUsage |
status |
cputime |
walltime |
host |
memUsage |
| eca/Problem03_50_false.c |
timeout |
901.714s |
829.331s |
db7 |
5903462400 |
false(reach) |
226.461s |
167.854s |
db4 |
6740779008 |
| eca/Problem11_20_false.c |
timeout |
929.948s |
627.347s |
db4 |
12972875776 |
false(reach) |
306.890s |
238.558s |
db3 |
6209024000 |
| eca/Problem12_10_false.c |
false(reach) |
769.260s |
494.972s |
db1 |
11553345536 |
timeout |
930.055s |
581.903s |
db3 |
13005705216 |
| eca/Problem12_40_false.c |
false(reach) |
883.377s |
581.758s |
db2 |
12618653696 |
timeout |
930.019s |
596.520s |
db7 |
12937138176 |
| eca/Problem17_30_false.c |
timeout |
903.621s |
594.528s |
db5 |
10575224832 |
false(reach) |
180.326s |
124.111s |
db4 |
5904179200 |
| eca/Problem17_40_false.c |
timeout |
906.938s |
630.724s |
db2 |
11001937920 |
false(reach) |
200.244s |
137.266s |
db4 |
6798340096 |
| eca/Problem18_00_false.c |
false(reach) |
445.603s |
291.050s |
cs-sel-05 |
9261064192 |
timeout |
930.218s |
529.065s |
db5 |
13062881280 |
| eca/Problem18_20_false.c |
false(reach) |
471.689s |
312.631s |
db8 |
11869519872 |
timeout |
930.499s |
557.179s |
cs-sel-05 |
12901064704 |
| eca/Problem03_10_true.c |
timeout |
907.966s |
746.663s |
db4 |
9662676992 |
true |
449.925s |
306.618s |
db3 |
9126031360 |
| eca/Problem03_20_true.c |
timeout |
901.588s |
829.361s |
db4 |
5994647552 |
true |
390.974s |
264.702s |
db1 |
8891281408 |
| eca/Problem03_30_true.c |
timeout |
930.047s |
739.658s |
db8 |
11336220672 |
true |
25.423s |
16.582s |
db3 |
1437900800 |
| eca/Problem03_40_true.c |
timeout |
902.557s |
721.247s |
cs-sel-05 |
10913644544 |
true |
344.101s |
236.860s |
db5 |
7409262592 |
| eca/Problem04_10_true.c |
timeout |
924.378s |
538.187s |
db5 |
13063266304 |
true |
94.828s |
68.585s |
db6 |
4910657536 |
| eca/Problem05_10_true.c |
timeout |
929.705s |
514.045s |
db2 |
13012729856 |
true |
258.948s |
181.833s |
db1 |
6730756096 |
| eca/Problem16_50_true.c |
timeout |
903.550s |
666.036s |
db2 |
9143922688 |
true |
18.764s |
10.135s |
db8 |
431300608 |
| ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
891.415s |
875.851s |
db5 |
4556447744 |
true |
6.205s |
3.633s |
db7 |
210894848 |
| ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
911.131s |
536.830s |
db7 |
12989919232 |
true |
5.988s |
3.517s |
cs-sel-05 |
169803776 |
| ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
929.970s |
505.086s |
db8 |
13083598848 |
true |
4.870s |
2.991s |
db4 |
206315520 |
| ldv-commit-tester/m0_false_drivers-scsi-gdth-ko--111_1a--5934df9-1.c |
out of memory |
129.711s |
98.882s |
db8 |
15000002560 |
timeout |
930.027s |
632.435s |
db8 |
13404254208 |
| ldv-commit-tester/m0_true_drivers-media-video-cx88-cx88-blackbird-ko--32_7a--d47b389-1.c |
timeout |
930.609s |
492.939s |
cs-sel-05 |
13094174720 |
true |
30.943s |
20.852s |
db4 |
2554740736 |
| ldv-commit-tester/m0_true_drivers-media-video-cx88-cx88-blackbird-ko--32_7a--d47b389.c |
timeout |
929.757s |
493.481s |
db2 |
13197357056 |
true |
32.075s |
21.322s |
db3 |
2879660032 |
| ldv-commit-tester/main1_true_sound-oss-sound-ko--32_7a--c4cb1dd-1.c |
timeout |
930.207s |
536.011s |
cs-sel-06 |
12951064576 |
true |
30.226s |
16.620s |
db8 |
657035264 |
| ldv-commit-tester/main1_true_sound-oss-sound-ko--32_7a--c4cb1dd.c |
timeout |
930.148s |
537.380s |
cs-sel-05 |
12903145472 |
true |
29.089s |
16.382s |
db4 |
752799744 |
| ldv-consumption/32_7a_cilled_false_linux-3.8-rc1-drivers--hwmon--abituguru3.ko-main.cil.out.c |
timeout |
930.066s |
509.759s |
db6 |
13105332224 |
false(reach) |
46.187s |
34.011s |
db4 |
2003095552 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--block--paride--pf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
929.722s |
742.657s |
db2 |
10574766080 |
true |
28.321s |
17.054s |
db3 |
812621824 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--block--paride--pg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.097s |
690.658s |
db7 |
14471004160 |
true |
12.704s |
7.167s |
db6 |
243974144 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--block--paride--pt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
929.994s |
524.276s |
db4 |
13176233984 |
true |
26.808s |
15.309s |
db3 |
740388864 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--hwmon--applesmc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
919.135s |
509.083s |
db8 |
13096357888 |
true |
23.651s |
13.509s |
db4 |
722542592 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--infiniband--hw--cxgb3--iw_cxgb3.ko-ldv_main6_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.101s |
567.551s |
db8 |
12949733376 |
true |
23.805s |
12.979s |
db2 |
460226560 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--infiniband--hw--mlx4--mlx4_ib.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.337s |
555.627s |
db5 |
13049389056 |
true |
29.909s |
17.150s |
db8 |
797667328 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--isdn--hisax--hisax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
902.140s |
804.251s |
cs-sel-06 |
7074738176 |
true |
56.376s |
34.752s |
db7 |
1564626944 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--isdn--i4l--isdn.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
901.600s |
852.580s |
db8 |
6712635392 |
true |
74.509s |
54.528s |
db3 |
4399042560 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--message--fusion--mptsas.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
912.378s |
594.042s |
db1 |
12912680960 |
true |
110.102s |
95.704s |
db4 |
4485574656 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--misc--sgi-xp--xpc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
929.883s |
504.272s |
db3 |
13408583680 |
true |
18.779s |
10.421s |
db3 |
427638784 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--mtd--ubi--ubi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
907.395s |
671.684s |
db3 |
9437597696 |
true |
49.549s |
33.049s |
cs-sel-05 |
1684582400 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--net--arcnet--com90xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
903.751s |
531.682s |
db4 |
12913033216 |
true |
9.627s |
5.394s |
db7 |
246231040 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--net--ethernet--i825xx--znet.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
929.814s |
560.383s |
db3 |
13041795072 |
true |
12.228s |
6.811s |
db3 |
282836992 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--net--ethernet--qlogic--qlge--qlge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.060s |
575.903s |
db4 |
12537708544 |
true |
132.082s |
98.922s |
db2 |
4935958528 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.084s |
559.061s |
db4 |
12944859136 |
true |
82.324s |
59.578s |
db7 |
4097384448 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.017s |
522.200s |
db6 |
13105192960 |
true |
58.806s |
39.160s |
db7 |
2547978240 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
904.334s |
744.865s |
db6 |
11825356800 |
true |
73.957s |
54.066s |
db3 |
3757481984 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--net--usb--hso.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
901.492s |
829.495s |
db5 |
8205422592 |
true |
15.519s |
8.566s |
db4 |
398065664 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--parport--parport_pc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.005s |
543.534s |
db3 |
13003100160 |
true |
47.758s |
36.217s |
db3 |
4332679168 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--platform--x86--samsung-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.048s |
544.414s |
db6 |
13019983872 |
true |
23.173s |
14.200s |
db3 |
1721458688 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--staging--speakup--speakup.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.078s |
496.503s |
db7 |
12879441920 |
true |
34.765s |
19.998s |
db8 |
818458624 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--tty--mxser.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
901.178s |
810.739s |
db6 |
6308376576 |
true |
19.621s |
10.741s |
db7 |
428183552 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--video--aty--radeonfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.072s |
548.174s |
db7 |
13086674944 |
true |
37.698s |
23.314s |
db3 |
1761837056 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--video--smscufx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
out of memory |
797.530s |
595.238s |
db3 |
15000002560 |
timeout |
904.606s |
788.449s |
db4 |
8718168064 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-drivers--video--via--viafb.ko-ldv_main12_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
911.491s |
544.453s |
db4 |
13067980800 |
true |
29.083s |
16.352s |
db4 |
716996608 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-fs--ecryptfs--ecryptfs.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.019s |
498.837s |
db3 |
13291290624 |
true |
26.264s |
14.798s |
db6 |
1233747968 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-kernel--rcutorture.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.093s |
541.255s |
db7 |
13155876864 |
true |
20.339s |
11.601s |
db3 |
705363968 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-lib--rbtree_test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.020s |
588.780s |
db7 |
13173997568 |
true |
7.874s |
4.497s |
db7 |
221609984 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-32_7a-net--netfilter--ipvs--ip_vs.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
930.182s |
541.251s |
db3 |
12931375104 |
true |
31.917s |
17.024s |
db7 |
716193792 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--block--paride--pg.ko-main.cil.out.c |
timeout |
930.228s |
714.779s |
db4 |
14469165056 |
true |
12.460s |
6.975s |
db1 |
255897600 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--gpu--drm--gma500--gma500_gfx.ko-main.cil.out.c |
timeout |
930.300s |
576.264s |
db1 |
13113839616 |
true |
107.589s |
75.380s |
db7 |
4001247232 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--hwmon--w83781d.ko-main.cil.out.c |
timeout |
907.215s |
704.379s |
db8 |
10102693888 |
true |
580.054s |
477.216s |
db3 |
7628476416 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--infiniband--hw-cxgb3--iw_cxgb3.ko-main.cil.out.c |
timeout |
922.919s |
559.865s |
db2 |
12990128128 |
true |
20.681s |
11.112s |
db8 |
455905280 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--isdn--mISDN--l1oip.ko-main.cil.out.c |
timeout |
901.026s |
866.925s |
db5 |
5636698112 |
true |
10.772s |
6.105s |
db2 |
248635392 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--mfd--sm501.ko-main.cil.out.c |
timeout |
929.968s |
790.449s |
db8 |
8580157440 |
true |
13.935s |
7.750s |
db4 |
245755904 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--misc--sgi-xp--xpc.ko-main.cil.out.c |
timeout |
930.233s |
503.764s |
db1 |
13348417536 |
true |
22.790s |
12.877s |
cs-sel-05 |
634052608 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--net--ethernet--chelsio--cxgb4--cxgb4.ko-main.cil.out.c |
timeout |
930.030s |
537.772s |
db8 |
13054713856 |
true |
78.793s |
53.090s |
db6 |
3203063808 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--net--ethernet--qlogic--qlge--qlge.ko-main.cil.out.c |
timeout |
930.010s |
566.638s |
db7 |
13162442752 |
true |
155.355s |
114.060s |
db6 |
5126529024 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--staging--silicom--bpctl_mod.ko-main.cil.out.c |
timeout |
929.687s |
554.178s |
db2 |
13274468352 |
true |
61.401s |
40.747s |
cs-sel-05 |
1980837888 |
| ldv-consumption/32_7a_cilled_true_linux-3.8-rc1-drivers--video--aty--radeonfb.ko-main.cil.out.c |
timeout |
930.144s |
547.466s |
db3 |
13140918272 |
true |
66.194s |
48.112s |
db6 |
3884773376 |
| loops/vogal_false.i |
false(reach) |
6.640s |
3.823s |
db3 |
234532864 |
timeout |
930.159s |
529.225s |
db4 |
12957609984 |
| loops/vogal_true.i |
true |
418.881s |
409.037s |
db8 |
1804591104 |
timeout |
926.874s |
518.819s |
cs-sel-06 |
12830785536 |
| product-lines/elevator_spec3_product20_false.cil.c |
false(reach) |
277.973s |
224.207s |
db2 |
5890703360 |
timeout |
902.213s |
604.185s |
db7 |
11835084800 |
| product-lines/elevator_spec3_product23_false.cil.c |
timeout |
921.008s |
593.565s |
db3 |
12313366528 |
false(reach) |
614.034s |
434.967s |
db3 |
9876496384 |
| product-lines/elevator_spec3_product28_false.cil.c |
false(reach) |
289.059s |
229.391s |
cs-sel-05 |
6041649152 |
timeout |
914.184s |
598.168s |
db2 |
12094849024 |
| product-lines/elevator_spec3_product31_false.cil.c |
timeout |
930.051s |
582.117s |
db8 |
12822913024 |
false(reach) |
715.975s |
502.411s |
db7 |
9421373440 |
| product-lines/email_spec11_product15_false.cil.c |
timeout |
901.998s |
681.129s |
db6 |
9327378432 |
false(reach) |
687.916s |
477.778s |
db4 |
8776757248 |
| product-lines/email_spec11_product30_false.cil.c |
timeout |
902.226s |
701.555s |
db8 |
8542224384 |
false(reach) |
685.310s |
472.618s |
db2 |
8332468224 |
| product-lines/email_spec1_product15_false.cil.c |
timeout |
901.816s |
697.438s |
db3 |
7523680256 |
false(reach) |
325.534s |
237.994s |
db6 |
7036375040 |
| product-lines/email_spec1_product16_false.cil.c |
timeout |
921.272s |
713.341s |
db4 |
7980335104 |
false(reach) |
353.939s |
268.394s |
cs-sel-05 |
6303363072 |
| product-lines/email_spec6_product12_false.cil.c |
timeout |
903.992s |
712.857s |
db3 |
8345399296 |
false(reach) |
300.597s |
231.468s |
db2 |
6709854208 |
| product-lines/email_spec6_product14_false.cil.c |
timeout |
901.235s |
686.054s |
db5 |
7551881216 |
false(reach) |
342.789s |
247.666s |
db2 |
7373090816 |
| product-lines/email_spec6_product15_false.cil.c |
timeout |
929.930s |
700.779s |
cs-sel-06 |
8860798976 |
false(reach) |
487.546s |
348.444s |
cs-sel-05 |
7358431232 |
| product-lines/email_spec6_product16_false.cil.c |
timeout |
902.257s |
700.002s |
db2 |
9075310592 |
false(reach) |
330.912s |
253.869s |
db5 |
6087557120 |
| product-lines/email_spec6_product21_false.cil.c |
timeout |
902.520s |
686.900s |
db3 |
8724754432 |
false(reach) |
826.934s |
563.828s |
cs-sel-05 |
9490649088 |
| product-lines/email_spec6_product28_false.cil.c |
timeout |
930.063s |
734.266s |
db4 |
8639942656 |
false(reach) |
197.950s |
148.547s |
db5 |
6204002304 |
| product-lines/email_spec6_product29_false.cil.c |
timeout |
901.886s |
694.226s |
db3 |
7500640256 |
false(reach) |
408.340s |
292.201s |
db4 |
7342571520 |
| product-lines/email_spec6_product30_false.cil.c |
timeout |
903.967s |
700.630s |
db2 |
8452132864 |
false(reach) |
797.700s |
555.456s |
db4 |
8188035072 |
| product-lines/email_spec7_product28_false.cil.c |
timeout |
902.107s |
692.197s |
db3 |
8746958848 |
false(reach) |
193.670s |
147.829s |
db6 |
5966258176 |
| product-lines/email_spec7_product29_false.cil.c |
timeout |
901.963s |
711.303s |
db2 |
7974133760 |
false(reach) |
395.163s |
279.494s |
cs-sel-05 |
7360966656 |
| product-lines/email_spec7_product30_false.cil.c |
timeout |
902.399s |
692.149s |
db2 |
8574308352 |
false(reach) |
588.940s |
416.072s |
db3 |
8007839744 |
| product-lines/email_spec7_product31_false.cil.c |
timeout |
901.865s |
678.249s |
db3 |
8647311360 |
false(reach) |
660.451s |
462.072s |
db8 |
8789794816 |
| product-lines/email_spec9_product15_false.cil.c |
timeout |
903.387s |
695.478s |
db5 |
7408271360 |
segmentation fault |
506.585s |
315.602s |
db5 |
7879139328 |
| product-lines/email_spec9_product35_false.cil.c |
timeout |
901.814s |
679.588s |
db7 |
7788335104 |
segmentation fault |
308.242s |
215.420s |
db5 |
6894649344 |
| product-lines/email_spec1_product28_true.cil.c |
timeout |
900.783s |
760.048s |
db3 |
7421456384 |
true |
16.328s |
8.876s |
db3 |
596541440 |
| product-lines/email_spec27_product13_true.cil.c |
timeout |
917.741s |
714.200s |
db8 |
7684694016 |
true |
414.479s |
277.611s |
db8 |
8659591168 |
| product-lines/email_spec4_product13_true.cil.c |
true |
886.297s |
703.746s |
db4 |
7511699456 |
timeout |
929.934s |
628.321s |
db3 |
12909133824 |
| product-lines/email_spec8_product12_true.cil.c |
timeout |
909.154s |
715.229s |
db8 |
8003366912 |
true |
15.888s |
8.861s |
db3 |
679223296 |
| product-lines/email_spec8_product28_true.cil.c |
timeout |
901.343s |
755.917s |
db6 |
7797739520 |
true |
17.924s |
10.257s |
db1 |
748740608 |
| product-lines/email_spec9_product28_true.cil.c |
timeout |
901.767s |
764.223s |
db1 |
6802866176 |
true |
18.378s |
10.451s |
db8 |
747405312 |
| systemc/token_ring.05_false.cil.c |
false(reach) |
27.166s |
16.765s |
cs-sel-05 |
1614036992 |
timeout |
919.291s |
704.621s |
cs-sel-06 |
7297036288 |
| systemc/token_ring.06_false.cil.c |
false(reach) |
95.997s |
75.849s |
db8 |
4818526208 |
timeout |
901.821s |
702.087s |
db7 |
9305976832 |
| systemc/token_ring.07_false.cil.c |
false(reach) |
67.663s |
48.942s |
db8 |
3996483584 |
timeout |
903.586s |
724.956s |
db7 |
8426393600 |
| systemc/token_ring.09_false.cil.c |
false(reach) |
551.760s |
395.861s |
db7 |
10018914304 |
timeout |
904.111s |
733.743s |
db5 |
7243976704 |
| systemc/transmitter.06_false.cil.c |
false(reach) |
112.836s |
81.283s |
db3 |
6020108288 |
timeout |
901.679s |
729.101s |
db5 |
6964846592 |
| systemc/transmitter.15_false.cil.c |
timeout |
904.433s |
590.966s |
db7 |
12207337472 |
false(reach) |
26.439s |
16.806s |
db7 |
2047246336 |
| systemc/transmitter.16_false.cil.c |
timeout |
914.203s |
596.831s |
db4 |
11738607616 |
false(reach) |
27.774s |
18.421s |
db8 |
2081406976 |
| systemc/token_ring.05_true.cil.c |
true |
60.742s |
49.489s |
db5 |
2164531200 |
timeout |
902.924s |
705.598s |
cs-sel-05 |
6689542144 |
| systemc/token_ring.06_true.cil.c |
true |
193.181s |
167.995s |
db8 |
4933558272 |
timeout |
901.117s |
693.789s |
db1 |
8409800704 |
| systemc/token_ring.07_true.cil.c |
true |
379.398s |
323.351s |
db5 |
5471932416 |
timeout |
903.730s |
728.917s |
db2 |
7956172800 |
| seq-mthreaded/pals_lcr-var-start-time.6_false.1.ufo.BOUNDED-12.pals.c |
timeout |
930.200s |
879.691s |
db8 |
5879197696 |
error (1) |
917.723s |
857.676s |
db4 |
6097551360 |
| seq-mthreaded/pals_opt-floodmax.3_false.2.ufo.BOUNDED-6.pals.c |
false(reach) |
673.255s |
631.243s |
db4 |
5207384064 |
timeout |
902.296s |
856.475s |
db3 |
4636418048 |
| seq-mthreaded/pals_opt-floodmax.3_false.2.ufo.UNBOUNDED.pals.c |
false(reach) |
645.972s |
611.322s |
db8 |
5035114496 |
timeout |
904.590s |
855.203s |
cs-sel-06 |
4854919168 |
| seq-mthreaded/rekcba_ctm_false.2.c |
error (1) |
911.689s |
862.632s |
db4 |
5218095104 |
timeout |
930.035s |
876.686s |
db8 |
5246943232 |
| seq-mthreaded/pals_opt-floodmax.3_true.ufo.UNBOUNDED.pals.c |
timeout |
901.688s |
688.493s |
db8 |
7008903168 |
error (1) |
913.710s |
665.279s |
db2 |
8831242240 |
| seq-mthreaded/rekh_ctm_true.1.c |
unknown |
696.753s |
633.733s |
db2 |
7559684096 |
timeout |
908.139s |
832.438s |
cs-sel-06 |
7338762240 |