Tool ULTIMATE Automizer 0.1.23-4413abc7 z3
Limits timelimit: 90 s, memlimit: 8000 MB, CPU core limit: 2 timelimit: 90 s, memlimit: 4000 MB, CPU core limit: 2
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-06-20 13:36:58 CEST 2018-06-20 13:47:09 CEST 2018-06-20 14:07:53 CEST 2018-06-20 13:57:15 CEST 2018-06-19 16:14:13 CEST
Run set chc-small-treeautomizer-hopcroft.TreeAutomizerHopcroft chc-small-treeautomizer-naive.TreeAutomizer-Naive chc-small-ultimate.CHC chc-small-ultimate-goto.CHC-Goto chc-small-z3-ari.CHC-z3-ari
Options -tc ../../../trunk/examples/toolchains/TreeAutomizer.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/TreeAutomizer/TreeAutomizerHopcroftMinimization.epf -tc ../../../trunk/examples/toolchains/TreeAutomizer.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/TreeAutomizer/TreeAutomizerNaiveMinimization.epf -tc ../../../trunk/examples/toolchains/AutomizerCHC.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_No_Goto.epf -tc ../../../trunk/examples/toolchains/AutomizerCHC.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf fixedpoint.engine=spacer
../../../../chc-comp18-benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
lia/chc-lia-0061.smt2 sat 44.3  22.9  646619136 timeout (error: exception) 90.5  54.8  1124581376 timeout (error (143)) 95.4  70.1  851509248 timeout (error (143)) 90.6  70.7  2830172160 timeout 90.5   91.0   100179968
lia/chc-lia-0321.smt2 timeout (error (143)) 96.6  57.1  2333798400 timeout (error (143)) 96.7  56.5  2360856576 timeout (error (143)) 92.4  60.0  3103813632 timeout (error (143)) 95.3  63.8  3282759680 timeout 90.6   90.7   254230528
lia/chc-lia-0323.smt2 timeout (error (143)) 97.0  60.6  2240028672 timeout (error (143)) 96.2  57.6  2077335552 timeout (error (143)) 95.8  74.1  3173855232 timeout (error (143)) 97.1  73.8  3550093312 unsat 59.9   59.9   1391165440
lia/chc-lia-0359.smt2 timeout (error (143)) 99.2  56.6  2457956352 timeout (error (143)) 96.7  58.3  2706432000 timeout (error (143)) 91.9  63.9  3432583168 timeout (error (143)) 97.0  66.4  3535912960 unsat 59.5   59.5   3583275008
lia/chc-lia-0269.smt2 timeout (error: exception) 92.9  61.9  1907834880 timeout (error: exception) 91.0  52.3  1619513344 timeout (error (143)) 90.6  71.1  2419781632 timeout (error (143)) 91.2  62.6  1818972160 sat 6.78  6.78  175325184
lia/chc-lia-0237.smt2 unsat 79.6  48.9  1236746240 timeout (error: exception) 93.2  59.8  1385758720 timeout (error (143)) 90.4  76.5  2857979904 false 27.8  15.1  482971648 unsat .751 .766 17903616
lia/chc-lia-0113.smt2 timeout (error: exception) 90.4  60.3  1133453312 timeout (error: exception) 91.0  53.5  1089916928 timeout (error (143)) 90.8  64.0  774311936 timeout (error (143)) 95.9  74.1  2209898496 timeout 90.6   90.7   102453248
lia/chc-lia-0216.smt2 timeout (error: exception) 91.6  59.9  1438240768 timeout (error (143)) 91.4  54.6  1374830592 timeout (error (143)) 92.7  51.5  5120778240 timeout (error (143)) 91.1  80.6  1807482880 timeout 90.6   90.6   194052096
lia/chc-lia-0390.smt2 timeout (error (143)) 91.3  74.5  3675738112 timeout (error (143)) 93.3  76.8  3634925568 timeout (error (143)) 98.8  79.7  3669069824 timeout (error (143)) 90.8  75.9  3590197248 sat 82.1   82.8   659779584
lia/chc-lia-0124.smt2 timeout (error: exception) 92.1  57.9  1039560704 timeout (error: exception) 91.0  56.5  1169620992 timeout (error (143)) 91.7  68.1  739643392 timeout (error (143)) 90.4  74.3  2850652160 timeout 90.6   90.6   102854656
lra/chc-lra-0124.smt2 timeout (error: exception) 92.1  66.4  2846588928 timeout (error (143)) 90.4  67.3  2884698112 timeout (error (1)) 109    57.9  6123278336 timeout 114    60.4  6191869952 timeout 90.6   90.6   109957120
lra/chc-lra-0082.smt2 timeout (error (143)) 95.2  70.3  1993547776 timeout (error: exception) 90.8  70.6  2083082240 timeout 114    60.1  6058729472 timeout 114    60.2  6383038464 timeout 90.6   90.6   144986112
lra/chc-lra-0034.smt2 timeout (error (143)) 90.8  61.6  2050101248 timeout (error (143)) 91.8  59.0  1838833664 timeout (error (143)) 98.9  75.3  3850149888 timeout (error (143)) 97.2  69.5  4005109760 sat 73.3   73.3   176640000
lra/chc-lra-0085.smt2 timeout (error: exception) 90.7  59.1  1305333760 timeout (error: exception) 91.1  53.7  1244569600 timeout (error (143)) 91.1  64.3  1626873856 timeout (error (143)) 90.8  65.1  2854330368 sat 4.91  4.91  34271232
lra/chc-lra-0134.smt2 timeout (error: exception) 91.8  71.2  2974347264 timeout (error (143)) 90.7  68.3  2995867648 timeout 112    61.5  5915787264 timeout 113    61.3  5875322880 timeout 90.6   90.6   170995712
lra/chc-lra-0022.smt2 timeout (error: exception) 90.6  63.1  1489608704 timeout (error (143)) 92.1  58.6  1522167808 timeout (error (143)) 102    80.0  3027324928 timeout 113    77.4  3809988608 unsat 25.2   25.2   100900864
lra/chc-lra-0003.smt2 timeout (error (143)) 95.6  76.6  731066368 timeout (error: exception) 94.7  64.8  1205030912 timeout (error (143)) 90.6  65.3  1429798912 timeout (error (143)) 95.0  72.3  3525865472 timeout 90.6   90.6   147922944
lra/chc-lra-0012.smt2 error (1) 4.62 7.46 167129088 error (1) 4.52 7.44 166256640 error (1) 4.76 7.76 167030784 error (1) 4.90 7.88 172273664 timeout 90.6   90.6   111353856
lra/chc-lra-0068.smt2 timeout (error (143)) 91.2  66.3  2869702656 timeout (error (143)) 91.2  63.1  2900238336 timeout 113    59.9  6364975104 timeout 112    60.1  6446895104 timeout 90.6   90.6   153665536
lra/chc-lra-0041.smt2 timeout (error: exception) 91.5  56.5  2976698368 timeout (error: exception) 90.5  60.1  3059490816 timeout (error (143)) 95.5  77.5  2874880000 timeout (error: exception) 91.1  64.7  3013701632 sat 3.23  3.23  41005056
../../../../chc-comp18-benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 20 1710 1160 37514100736 20 1760 1150 38444007424 20 1860 1290 63582154752 20 1810 1260 68237508608 20 1310 1310 7772917760
local summary 1710 607 1760 604 1690 678 1710 637 1310 466
    correct results 0 0 0 0 0
        correct true 0 0 0 0 0
        correct false 0 0 0 0 0
    incorrect results 0 0 0 0 0
        incorrect true 0 0 0 0 0
        incorrect false 0 0 0 0 0
Run set chc-small-treeautomizer-hopcroft.TreeAutomizerHopcroft chc-small-treeautomizer-naive.TreeAutomizer-Naive chc-small-ultimate.CHC chc-small-ultimate-goto.CHC-Goto chc-small-z3-ari.CHC-z3-ari