Adding dirk-new to repo
[Benchmarks_CSolver.git] / dirk-new / smt_LIA / trace.log
diff --git a/dirk-new/smt_LIA/trace.log b/dirk-new/smt_LIA/trace.log
new file mode 100644 (file)
index 0000000..0d194f9
--- /dev/null
@@ -0,0 +1,988 @@
+Working on a new smt fie ./1571092667216284718-account-raytracer.smt
+
+[0.0, 0.0, 0.0, 0.0]
+Parsing time sys       0m0.004s
+
+0
+0.004
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.005s
+
+0
+0.005
+Parsing time sys       0m0.004s
+
+0
+0.004
+Working on a new smt fie ./1571092671963547651-bubblesort-raytracer.smt
+
+[0.004, 0.0, 0.005, 0.004]
+Parsing time sys       0m3.644s
+
+0
+3.644
+Parsing time sys       0m1.536s
+
+0
+1.536
+Parsing time sys       0m3.908s
+
+0
+3.908
+Parsing time sys       0m9.964s
+
+0
+9.964
+Working on a new smt fie ./1571092827418873271-raytracer-raytracer.smt
+
+[3.648, 1.536, 3.913, 9.968]
+Parsing time sys       0m0.108s
+
+0
+0.108
+Parsing time sys       0m0.120s
+
+0
+0.12
+Parsing time sys       0m0.108s
+
+0
+0.108
+Parsing time sys       0m0.240s
+
+0
+0.24
+Working on a new smt fie ./1571092691059901054-bufwriter-raytracer.smt
+
+[3.7560000000000002, 1.6560000000000001, 4.021, 10.208]
+Parsing time sys       0m0.548s
+
+0
+0.548
+Parsing time sys       0m0.516s
+
+0
+0.516
+Parsing time sys       0m0.412s
+
+0
+0.412
+Parsing time sys       0m4.924s
+
+0
+4.924
+Working on a new smt fie ./1571092701104292124-bufwriter-raytracer.smt
+
+[4.304, 2.172, 4.433, 15.132000000000001]
+Parsing time sys       0m0.508s
+
+0
+0.508
+Parsing time sys       0m0.528s
+
+0
+0.528
+Parsing time sys       0m0.440s
+
+0
+0.44
+Parsing time sys       0m4.684s
+
+0
+4.684
+Working on a new smt fie ./1571092797124116796-bufwriter-raytracer.smt
+
+[4.812, 2.7, 4.873, 19.816000000000003]
+Parsing time sys       0m0.540s
+
+0
+0.54
+Parsing time sys       0m0.504s
+
+0
+0.504
+Parsing time sys       0m0.404s
+
+0
+0.404
+Parsing time sys       0m4.604s
+
+0
+4.604
+Working on a new smt fie ./1571092785614481245-bufwriter-raytracer.smt
+
+[5.352, 3.204, 5.277, 24.42]
+Parsing time sys       0m0.572s
+
+0
+0.572
+Parsing time sys       0m0.524s
+
+0
+0.524
+Parsing time sys       0m0.520s
+
+0
+0.52
+Parsing time sys       0m4.820s
+
+0
+4.82
+Working on a new smt fie ./1571092735765476389-bufwriter-raytracer.smt
+
+[5.924, 3.728, 5.797000000000001, 29.240000000000002]
+Parsing time sys       0m0.560s
+
+0
+0.56
+Parsing time sys       0m0.516s
+
+0
+0.516
+Parsing time sys       0m0.448s
+
+0
+0.448
+Parsing time sys       0m4.908s
+
+0
+4.908
+Working on a new smt fie ./1571092718039962418-bufwriter-raytracer.smt
+
+[6.484, 4.244, 6.245000000000001, 34.148]
+Parsing time sys       0m0.568s
+
+0
+0.568
+Parsing time sys       0m0.576s
+
+0
+0.576
+Parsing time sys       0m0.420s
+
+0
+0.42
+Parsing time sys       0m4.680s
+
+0
+4.68
+Working on a new smt fie ./1571092668265783615-bbuffer-raytracer.smt
+
+[7.052, 4.819999999999999, 6.665000000000001, 38.828]
+Parsing time sys       0m0.164s
+
+0
+0.164
+Parsing time sys       0m0.200s
+
+0
+0.2
+Parsing time sys       0m0.148s
+
+0
+0.148
+Parsing time sys       0m3.016s
+
+0
+3.016
+Working on a new smt fie ./1571092760473264176-bufwriter-raytracer.smt
+
+[7.215999999999999, 5.02, 6.813000000000001, 41.844]
+Parsing time sys       0m0.552s
+
+0
+0.552
+Parsing time sys       0m0.460s
+
+0
+0.46
+Parsing time sys       0m0.428s
+
+0
+0.428
+Parsing time sys       0m4.996s
+
+0
+4.996
+Working on a new smt fie ./1571092693774318970-bufwriter-raytracer.smt
+
+[7.767999999999999, 5.4799999999999995, 7.2410000000000005, 46.84]
+Parsing time sys       0m0.560s
+
+0
+0.56
+Parsing time sys       0m0.500s
+
+0
+0.5
+Parsing time sys       0m0.452s
+
+0
+0.452
+Parsing time sys       0m4.824s
+
+0
+4.824
+Working on a new smt fie ./1571092792359117064-bufwriter-raytracer.smt
+
+[8.328, 5.9799999999999995, 7.6930000000000005, 51.664]
+Parsing time sys       0m0.584s
+
+0
+0.584
+Parsing time sys       0m0.584s
+
+0
+0.584
+Parsing time sys       0m0.480s
+
+0
+0.48
+Parsing time sys       0m4.908s
+
+0
+4.908
+Working on a new smt fie ./1571092824863229908-pingpong-raytracer.smt
+
+[8.911999999999999, 6.563999999999999, 8.173, 56.572]
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.008s
+
+0
+0.008
+Working on a new smt fie ./1571092718998258386-bufwriter-raytracer.smt
+
+[8.911999999999999, 6.563999999999999, 8.173, 56.580000000000005]
+Parsing time sys       0m0.580s
+
+0
+0.58
+Parsing time sys       0m0.632s
+
+0
+0.632
+Parsing time sys       0m0.460s
+
+0
+0.46
+Parsing time sys       0m4.956s
+
+0
+4.956
+Working on a new smt fie ./1571092701990081501-bufwriter-raytracer.smt
+
+[9.491999999999999, 7.195999999999999, 8.633000000000001, 61.53600000000001]
+Parsing time sys       0m0.600s
+
+0
+0.6
+Parsing time sys       0m0.548s
+
+0
+0.548
+Parsing time sys       0m0.472s
+
+0
+0.472
+Parsing time sys       0m5.080s
+
+0
+5.08
+Working on a new smt fie ./1571092771292801641-bufwriter-raytracer.smt
+
+[10.091999999999999, 7.743999999999999, 9.105, 66.61600000000001]
+Parsing time sys       0m0.608s
+
+0
+0.608
+Parsing time sys       0m0.596s
+
+0
+0.596
+Parsing time sys       0m0.516s
+
+0
+0.516
+Parsing time sys       0m5.004s
+
+0
+5.004
+Working on a new smt fie ./1571092685522859537-bufwriter-raytracer.smt
+
+[10.7, 8.339999999999998, 9.621, 71.62000000000002]
+Parsing time sys       0m0.660s
+
+0
+0.66
+Parsing time sys       0m0.564s
+
+0
+0.564
+Parsing time sys       0m0.512s
+
+0
+0.512
+Parsing time sys       0m5.088s
+
+0
+5.088
+Working on a new smt fie ./1571092739715124372-bufwriter-raytracer.smt
+
+[11.36, 8.903999999999998, 10.133000000000001, 76.70800000000001]
+Parsing time sys       0m0.616s
+
+0
+0.616
+Parsing time sys       0m0.608s
+
+0
+0.608
+Parsing time sys       0m0.480s
+
+0
+0.48
+Parsing time sys       0m4.788s
+
+0
+4.788
+Working on a new smt fie ./1571092779801291412-bufwriter-raytracer.smt
+
+[11.975999999999999, 9.511999999999999, 10.613000000000001, 81.49600000000001]
+Parsing time sys       0m0.668s
+
+0
+0.668
+Parsing time sys       0m0.512s
+
+0
+0.512
+Parsing time sys       0m0.472s
+
+0
+0.472
+Parsing time sys       0m4.616s
+
+0
+4.616
+Working on a new smt fie ./1571092667379130258-array-raytracer.smt
+
+[12.643999999999998, 10.024, 11.085, 86.11200000000001]
+Parsing time sys       0m0.002s
+
+0
+0.002
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.008s
+
+0
+0.008
+Working on a new smt fie ./1571092814908787364-mergesort-raytracer.smt
+
+[12.645999999999999, 10.024, 11.085, 86.12]
+Parsing time sys       0m0.005s
+
+0
+0.005
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.012s
+
+0
+0.012
+Parsing time sys       0m0.048s
+
+0
+0.048
+Working on a new smt fie ./1571092668413406273-bbuffer-raytracer.smt
+
+[12.651, 10.024, 11.097000000000001, 86.168]
+Parsing time sys       0m0.176s
+
+0
+0.176
+Parsing time sys       0m0.204s
+
+0
+0.204
+Parsing time sys       0m0.200s
+
+0
+0.2
+Parsing time sys       0m3.024s
+
+0
+3.024
+Working on a new smt fie ./1571092825862464339-raytracer-raytracer.smt
+
+[12.827, 10.228, 11.297, 89.19200000000001]
+Parsing time sys       0m0.120s
+
+0
+0.12
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.004s
+
+0
+0.004
+Parsing time sys       0m0.224s
+
+0
+0.224
+Working on a new smt fie ./1571092681716086207-bufwriter-raytracer.smt
+
+[12.947, 10.228, 11.301, 89.41600000000001]
+Parsing time sys       0m0.544s
+
+0
+0.544
+Parsing time sys       0m0.512s
+
+0
+0.512
+Parsing time sys       0m0.468s
+
+0
+0.468
+Parsing time sys       0m5.088s
+
+0
+5.088
+Working on a new smt fie ./1571092814750220780-critical-raytracer.smt
+
+[13.491, 10.74, 11.769, 94.504]
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.004s
+
+0
+0.004
+Working on a new smt fie ./1571092667299540856-airline-raytracer.smt
+
+[13.491, 10.74, 11.769, 94.50800000000001]
+Parsing time sys       0m0.004s
+
+0
+0.004
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.000s
+
+0
+0.0
+Working on a new smt fie ./1571092778839749040-bufwriter-raytracer.smt
+
+[13.495, 10.74, 11.769, 94.50800000000001]
+Parsing time sys       0m0.572s
+
+0
+0.572
+Parsing time sys       0m0.612s
+
+0
+0.612
+Parsing time sys       0m0.464s
+
+0
+0.464
+Parsing time sys       0m5.024s
+
+0
+5.024
+Working on a new smt fie ./1571092699319216212-bufwriter-raytracer.smt
+
+[14.066999999999998, 11.352, 12.233, 99.53200000000001]
+Parsing time sys       0m0.572s
+
+0
+0.572
+Parsing time sys       0m0.528s
+
+0
+0.528
+Parsing time sys       0m0.504s
+
+0
+0.504
+Parsing time sys       0m4.908s
+
+0
+4.908
+Working on a new smt fie ./1571092680767557822-bufwriter-raytracer.smt
+
+[14.638999999999998, 11.88, 12.737, 104.44000000000001]
+Parsing time sys       0m0.560s
+
+0
+0.56
+Parsing time sys       0m0.560s
+
+0
+0.56
+Parsing time sys       0m0.412s
+
+0
+0.412
+Parsing time sys       0m4.436s
+
+0
+4.436
+Working on a new smt fie ./1571092768659455716-bufwriter-raytracer.smt
+
+[15.198999999999998, 12.440000000000001, 13.149000000000001, 108.876]
+Parsing time sys       0m0.588s
+
+0
+0.588
+Parsing time sys       0m0.536s
+
+0
+0.536
+Parsing time sys       0m0.496s
+
+0
+0.496
+Parsing time sys       0m4.960s
+
+0
+4.96
+Working on a new smt fie ./1571092667295698210-airline-raytracer.smt
+
+[15.786999999999997, 12.976, 13.645000000000001, 113.836]
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.005s
+
+0
+0.005
+Parsing time sys       0m0.004s
+
+0
+0.004
+Parsing time sys       0m0.004s
+
+0
+0.004
+Working on a new smt fie ./1571092667296999873-airline-raytracer.smt
+
+[15.786999999999997, 12.981000000000002, 13.649000000000001, 113.84]
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.004s
+
+0
+0.004
+Parsing time sys       0m0.004s
+
+0
+0.004
+Parsing time sys       0m0.016s
+
+0
+0.016
+Working on a new smt fie ./1571092765867261966-bufwriter-raytracer.smt
+
+[15.786999999999997, 12.985000000000001, 13.653, 113.85600000000001]
+Parsing time sys       0m0.532s
+
+0
+0.532
+Parsing time sys       0m0.540s
+
+0
+0.54
+Parsing time sys       0m0.512s
+
+0
+0.512
+Parsing time sys       0m4.852s
+
+0
+4.852
+Working on a new smt fie ./1571092722896155125-bufwriter-raytracer.smt
+
+[16.318999999999996, 13.525000000000002, 14.165000000000001, 118.70800000000001]
+Parsing time sys       0m0.520s
+
+0
+0.52
+Parsing time sys       0m0.504s
+
+0
+0.504
+Parsing time sys       0m0.420s
+
+0
+0.42
+Parsing time sys       0m4.704s
+
+0
+4.704
+Working on a new smt fie ./1571092667302981591-airline-raytracer.smt
+
+[16.838999999999995, 14.029000000000002, 14.585, 123.412]
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.008s
+
+0
+0.008
+Parsing time sys       0m0.007s
+
+0
+0.007
+Parsing time sys       0m0.008s
+
+0
+0.008
+Working on a new smt fie ./1571092708331930987-bufwriter-raytracer.smt
+
+[16.838999999999995, 14.037, 14.592, 123.42]
+Parsing time sys       0m0.580s
+
+0
+0.58
+Parsing time sys       0m0.544s
+
+0
+0.544
+Parsing time sys       0m0.452s
+
+0
+0.452
+Parsing time sys       0m5.036s
+
+0
+5.036
+Working on a new smt fie ./1571092791350083591-bufwriter-raytracer.smt
+
+[17.418999999999993, 14.581000000000001, 15.044, 128.456]
+Parsing time sys       0m0.540s
+
+0
+0.54
+Parsing time sys       0m0.600s
+
+0
+0.6
+Parsing time sys       0m0.432s
+
+0
+0.432
+Parsing time sys       0m4.696s
+
+0
+4.696
+Working on a new smt fie ./1571092824864171670-pingpong-raytracer.smt
+
+[17.958999999999993, 15.181000000000001, 15.476, 133.152]
+Parsing time sys       0m0.006s
+
+0
+0.006
+Parsing time sys       0m0.007s
+
+0
+0.007
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.000s
+
+0
+0.0
+Working on a new smt fie ./1571092787557892202-bufwriter-raytracer.smt
+
+[17.964999999999993, 15.188, 15.476, 133.152]
+Parsing time sys       0m0.544s
+
+0
+0.544
+Parsing time sys       0m0.540s
+
+0
+0.54
+Parsing time sys       0m0.476s
+
+0
+0.476
+Parsing time sys       0m4.848s
+
+0
+4.848
+Working on a new smt fie ./1571092814937918670-mergesort-raytracer.smt
+
+[18.508999999999993, 15.728000000000002, 15.952000000000002, 138.0]
+Parsing time sys       0m0.008s
+
+0
+0.008
+Parsing time sys       0m0.004s
+
+0
+0.004
+Parsing time sys       0m0.008s
+
+0
+0.008
+Parsing time sys       0m0.048s
+
+0
+0.048
+Working on a new smt fie ./1571092812061605921-bufwriter-raytracer.smt
+
+[18.516999999999992, 15.732000000000001, 15.96, 138.048]
+Parsing time sys       0m0.600s
+
+0
+0.6
+Parsing time sys       0m0.596s
+
+0
+0.596
+Parsing time sys       0m0.540s
+
+0
+0.54
+Parsing time sys       0m4.984s
+
+0
+4.984
+Working on a new smt fie ./1571092795229724246-bufwriter-raytracer.smt
+
+[19.116999999999994, 16.328, 16.5, 143.032]
+Parsing time sys       0m0.640s
+
+0
+0.64
+Parsing time sys       0m0.616s
+
+0
+0.616
+Parsing time sys       0m0.472s
+
+0
+0.472
+Parsing time sys       0m4.920s
+
+0
+4.92
+Working on a new smt fie ./1571092814751731387-critical-raytracer.smt
+
+[19.756999999999994, 16.944, 16.972, 147.952]
+Parsing time sys       0m0.002s
+
+0
+0.002
+Parsing time sys       0m0.002s
+
+0
+0.002
+Parsing time sys       0m0.002s
+
+0
+0.002
+Parsing time sys       0m0.000s
+
+0
+0.0
+Working on a new smt fie ./1571092683613547102-bufwriter-raytracer.smt
+
+[19.758999999999993, 16.945999999999998, 16.974, 147.952]
+Parsing time sys       0m0.556s
+
+0
+0.556
+Parsing time sys       0m0.536s
+
+0
+0.536
+Parsing time sys       0m0.504s
+
+0
+0.504
+Parsing time sys       0m4.792s
+
+0
+4.792
+Working on a new smt fie ./1571092670225992095-bbuffer-raytracer.smt
+
+[20.314999999999994, 17.482, 17.478, 152.744]
+Parsing time sys       0m0.116s
+
+0
+0.116
+Parsing time sys       0m0.208s
+
+0
+0.208
+Parsing time sys       0m0.188s
+
+0
+0.188
+Parsing time sys       0m2.680s
+
+0
+2.68
+Working on a new smt fie ./1571092668792382617-bbuffer-raytracer.smt
+
+[20.430999999999994, 17.689999999999998, 17.666, 155.424]
+Parsing time sys       0m0.176s
+
+0
+0.176
+Parsing time sys       0m0.308s
+
+0
+0.308
+Parsing time sys       0m0.192s
+
+0
+0.192
+Parsing time sys       0m2.776s
+
+0
+2.776
+Working on a new smt fie ./1571092814957244229-mergesort-raytracer.smt
+
+[20.606999999999992, 17.997999999999998, 17.858, 158.20000000000002]
+Parsing time sys       0m0.008s
+
+0
+0.008
+Parsing time sys       0m0.000s
+
+0
+0.0
+Parsing time sys       0m0.008s
+
+0
+0.008
+Parsing time sys       0m0.036s
+
+0
+0.036
+Working on a new smt fie ./1571092767746582715-bufwriter-raytracer.smt
+
+[20.61499999999999, 17.997999999999998, 17.866, 158.23600000000002]
+Parsing time sys       0m0.704s
+
+0
+0.704
+Parsing time sys       0m0.532s
+
+0
+0.532
+Parsing time sys       0m0.488s
+
+0
+0.488
+Parsing time sys       0m5.060s
+
+0
+5.06
+Working on a new smt fie ./1571092769540229991-bufwriter-raytracer.smt
+
+[21.318999999999992, 18.529999999999998, 18.354, 163.29600000000002]
+Parsing time sys       0m0.508s
+
+0
+0.508
+Parsing time sys       0m0.468s
+
+0
+0.468
+Parsing time sys       0m0.492s
+
+0
+0.492
+Parsing time sys       0m4.668s
+
+0
+4.668
+Working on a new smt fie ./1571092802114505072-bufwriter-raytracer.smt
+
+[21.82699999999999, 18.997999999999998, 18.846, 167.96400000000003]
+Parsing time sys       0m0.580s
+
+0
+0.58
+Parsing time sys       0m0.516s
+
+0
+0.516
+Parsing time sys       0m0.484s
+
+0
+0.484
+Parsing time sys       0m4.492s
+
+0
+4.492
+Working on a new smt fie ./1571092684575908564-bufwriter-raytracer.smt
+
+[22.40699999999999, 19.513999999999996, 19.33, 172.45600000000002]
+Parsing time sys       0m0.548s
+
+0
+0.548
+Parsing time sys       0m0.564s
+
+0
+0.564
+Parsing time sys       0m0.516s
+
+0
+0.516
+LRA:22.955
+IDL:20.078
+LIA:19.846
+BV:172.456