[2013.02.26 14:31:07] [rosette/tests/all-tests.rkt run-all] [cpu=37487, real=45163, gc=2376]
[2013.03.06 16:45:53] [rosette/tests/all-tests.rkt run-all] [cpu=37239, real=45004, gc=2481]
[2013.03.09 12:55:31] [rosette/tests/all-tests.rkt run-all] [cpu=36979, real=46024, gc=2532]
[2013.03.09 13:00:37] [rosette/tests/all-tests.rkt run-all] [cpu=37261, real=45738, gc=2623]
[2013.03.17 17:20:52] [rosette/tests/all-tests.rkt run-all] [cpu=37611, real=45394, gc=3171]
[2013.03.22 16:13:31] [rosette/tests/all-tests.rkt run-all] [cpu=36446, real=44240, gc=2240]
[2013.04.06 14:52:45] [rosette/tests/all-tests.rkt run-all] [cpu=36951, real=45709, gc=2688]
[2013.04.12 13:36:29] [rosette/tests/all-tests.rkt run-all] [cpu=36461, real=45080, gc=2391]
[2013.04.16 14:38:08] [rosette/tests/all-tests.rkt run-all] [cpu=38730, real=44412, gc=7155]
[2013.04.29 12:05:51] [rosette/tests/all-tests.rkt run-all] [cpu=27658, real=34658, gc=3877]
[2013.04.29 14:46:14] [rosette/tests/all-tests.rkt run-all] [cpu=25672, real=32232, gc=1909]
[2013.04.29 15:06:08] [rosette/tests/all-tests.rkt run-all] [cpu=23916, real=31625, gc=3602]
[2013.05.03 16:08:33] [rosette/tests/all-tests.rkt run-all] [cpu=21917, real=31100, gc=1206]
[2013.05.03 16:27:30] [rosette/tests/all-tests.rkt run-all] [cpu=24039, real=32650, gc=2467]
[2013.05.13 11:56:42] [rosette/tests/all-tests.rkt run-all] [cpu=23326, real=33293, gc=1507]
[2013.05.20 14:06:38] [rosette/tests/all-tests.rkt run-all] [cpu=24512, real=32858, gc=3439]
[2013.05.21 19:21:04] [rosette/tests/all-tests.rkt run-all] [cpu=23109, real=32141, gc=1436]
[2013.05.22 14:29:25] [rosette/tests/all-tests.rkt run-all] [cpu=22157, real=31144, gc=1279]
[2013.05.28 13:54:07] [rosette/tests/all-tests.rkt run-all] [cpu=22368, real=32316, gc=1500]
[2013.06.05 10:20:17] [rosette/tests/all-tests.rkt run-all] [cpu=21597, real=30768, gc=1205]
[2013.07.07 10:08:39] [rosette/tests/all-tests.rkt run-all] [cpu=23863, real=32170, gc=3504]
[2013.07.18 14:37:47] [rosette/tests/all-tests.rkt run-all] [cpu=21795, real=30084, gc=1338]
[2013.07.23 15:54:53] [rosette/tests/all-tests.rkt run-all] [cpu=18712, real=26491, gc=1079]
[2013.07.23 17:37:01] [rosette/tests/all-tests.rkt run-all] [cpu=20270, real=28842, gc=1955]
[2013.07.24 15:05:37] [rosette/tests/all-tests.rkt run-all] [cpu=18600, real=26511, gc=1163]
[2013.07.24 15:19:26] [rosette/tests/all-tests.rkt run-all] [cpu=20728, real=28649, gc=3493]
[2013.07.24 15:20:09] [rosette/tests/all-tests.rkt run-all] [cpu=18361, real=26027, gc=1084]
[2013.07.29 10:33:26] [rosette/tests/all-tests.rkt run-all] [cpu=19007, real=27357, gc=1241]
[2013.08.07 12:04:26] [rosette/tests/all-tests.rkt run-all] [cpu=19268, real=26771, gc=1321]
[2013.08.07 17:20:45] [rosette/tests/all-tests.rkt run-all] [cpu=23561, real=31395, gc=3952]
[2013.08.07 17:21:38] [rosette/tests/all-tests.rkt run-all] [cpu=23248, real=30726, gc=3849]
[2013.08.07 17:22:59] [rosette/tests/all-tests.rkt run-all] [cpu=22936, real=30300, gc=3913]
[2013.08.07 17:23:30] [rosette/tests/all-tests.rkt run-all] [cpu=20644, real=28431, gc=1397]
[2013.08.07 17:24:16] [rosette/tests/all-tests.rkt run-all] [cpu=22635, real=30550, gc=3585]
[2013.08.07 17:26:37] [rosette/tests/all-tests.rkt run-all] [cpu=23278, real=31141, gc=3519]
[2013.08.07 17:27:18] [rosette/tests/all-tests.rkt run-all] [cpu=22908, real=30564, gc=3521]
[2013.08.07 17:29:23] [rosette/tests/all-tests.rkt run-all] [cpu=22405, real=28719, gc=1940]
[2013.08.07 17:30:26] [rosette/tests/all-tests.rkt run-all] [cpu=22958, real=30532, gc=3487]
[2013.08.07 17:31:26] [rosette/tests/all-tests.rkt run-all] [cpu=20810, real=28509, gc=1511]
[2013.08.07 17:32:19] [rosette/tests/all-tests.rkt run-all] [cpu=22818, real=30143, gc=3589]
[2013.08.07 17:34:08] [rosette/tests/all-tests.rkt run-all] [cpu=18555, real=26271, gc=1208]
[2013.08.07 17:35:13] [rosette/tests/all-tests.rkt run-all] [cpu=19491, real=26208, gc=1397]
[2013.08.07 17:37:10] [rosette/tests/all-tests.rkt run-all] [cpu=18653, real=25749, gc=1161]
[2013.08.07 17:38:59] [rosette/tests/all-tests.rkt run-all] [cpu=20954, real=28640, gc=3305]
[2013.08.07 17:40:01] [rosette/tests/all-tests.rkt run-all] [cpu=19572, real=26755, gc=1364]
[2013.08.07 17:41:24] [rosette/tests/all-tests.rkt run-all] [cpu=18440, real=25935, gc=1084]
[2013.08.15 13:25:17] [rosette/tests/all-tests.rkt run-all] [cpu=18937, real=26870, gc=1215]
[2013.08.19 14:54:37] [rosette/tests/all-tests.rkt run-all] [cpu=18720, real=27977, gc=1154]
[2013.08.19 14:56:30] [rosette/tests/all-tests.rkt run-z3] [cpu=66029, real=113342, gc=3511]
[2013.08.20 10:42:29] [rosette/tests/all-tests.rkt run-all] [cpu=18323, real=28356, gc=1036]
[2013.08.20 10:44:25] [rosette/tests/all-tests.rkt run-z3] [cpu=64807, real=115681, gc=1147]
[2013.08.21 16:29:19] [rosette/tests/all-tests.rkt run-all] [cpu=17602, real=26509, gc=2780]
[2013.08.21 16:31:22] [rosette/tests/all-tests.rkt run-z3] [cpu=71916, real=122595, gc=3398]
[2013.08.22 13:53:49] [rosette/tests/all-tests.rkt run-all] [cpu=16128, real=27535, gc=997]
[2013.08.22 13:55:42] [rosette/tests/all-tests.rkt run-z3] [cpu=64127, real=113811, gc=3590]
[2013.08.28 09:17:12] [rosette/tests/all-tests.rkt run-all] [cpu=15264, real=24568, gc=892]
[2013.08.28 09:19:02] [rosette/tests/all-tests.rkt run-z3] [cpu=64842, real=109845, gc=1111]
[2013.08.28 18:41:04] [rosette/tests/all-tests.rkt run-all] [cpu=15932, real=25029, gc=990]
[2013.08.28 18:43:04] [rosette/tests/all-tests.rkt run-z3] [cpu=67722, real=119864, gc=3591]
[2013.08.29 13:16:33] [rosette/tests/all-tests.rkt run-all] [cpu=15832, real=26794, gc=954]
[2013.08.29 13:18:33] [rosette/tests/all-tests.rkt run-z3] [cpu=66215, real=119517, gc=1067]
; ADDED NEW TESTS FOR ENUM TYPES
[2013.09.03 16:03:22] [rosette/tests/all-tests.rkt run-all] [cpu=18478, real=27789, gc=3352]
[2013.09.03 16:05:17] [rosette/tests/all-tests.rkt run-z3] [cpu=64660, real=115354, gc=1219]
[2013.09.03 16:44:58] [rosette/tests/all-tests.rkt run-all] [cpu=15771, real=24822, gc=910]
[2013.09.03 16:46:50] [rosette/tests/all-tests.rkt run-z3] [cpu=65618, real=112811, gc=1075]
[2013.09.03 16:47:27] [rosette/tests/all-tests.rkt run-bv] [cpu=20557, real=36335, gc=518]
[2013.09.03 18:06:40] [rosette/tests/all-tests.rkt run-all] [cpu=16727, real=26242, gc=1072]
[2013.09.03 18:08:49] [rosette/tests/all-tests.rkt run-z3] [cpu=65827, real=129069, gc=1162]
[2013.09.03 18:09:33] [rosette/tests/all-tests.rkt run-bv] [cpu=21964, real=43760, gc=3036]
[2013.09.04 11:47:38] [rosette/tests/all-tests.rkt run-all] [cpu=17328, real=26289, gc=2953]
[2013.09.04 11:49:39] [rosette/tests/all-tests.rkt run-z3] [cpu=73574, real=121275, gc=3774]
[2013.09.04 11:50:18] [rosette/tests/all-tests.rkt run-bv] [cpu=21197, real=38309, gc=488]
[2013.09.08 14:58:26] [rosette/tests/all-tests.rkt run-all] [cpu=17947, real=27261, gc=3291]
[2013.09.08 15:00:20] [rosette/tests/all-tests.rkt run-z3] [cpu=65775, real=113870, gc=1188]
[2013.09.08 15:00:58] [rosette/tests/all-tests.rkt run-bv] [cpu=20706, real=37743, gc=478]
[2013.09.08 15:06:31] [rosette/tests/all-tests.rkt run-all] [cpu=15435, real=24204, gc=939]
[2013.09.08 15:08:25] [rosette/tests/all-tests.rkt run-z3] [cpu=66856, real=114611, gc=3512]
[2013.09.08 15:09:02] [rosette/tests/all-tests.rkt run-bv] [cpu=19295, real=36673, gc=514]
[2013.09.09 11:37:12] [rosette/tests/all-tests.rkt run-all] [cpu=19353, real=31643, gc=4404]
[2013.09.09 11:39:21] [rosette/tests/all-tests.rkt run-z3] [cpu=73113, real=129186, gc=1674]
[2013.09.09 11:40:01] [rosette/tests/all-tests.rkt run-bv] [cpu=22384, real=40409, gc=626]
[2013.09.09 11:41:38] [rosette/tests/all-tests.rkt run-all] [cpu=15657, real=25097, gc=968]
[2013.09.09 11:43:33] [rosette/tests/all-tests.rkt run-z3] [cpu=62939, real=114216, gc=3636]
[2013.09.09 11:44:11] [rosette/tests/all-tests.rkt run-bv] [cpu=20202, real=38000, gc=477]
[2013.09.12 10:52:06] [rosette/tests/all-tests.rkt run-all] [cpu=15951, real=25626, gc=1034]
[2013.09.12 10:54:02] [rosette/tests/all-tests.rkt run-z3] [cpu=67643, real=116109, gc=3649]
[2013.09.12 10:54:41] [rosette/tests/all-tests.rkt run-bv] [cpu=20452, real=38370, gc=531]
[2013.09.25 15:02:06] [rosette/tests/all-tests.rkt run-all] [cpu=17866, real=26679, gc=3314]
[2013.09.25 15:04:00] [rosette/tests/all-tests.rkt run-z3] [cpu=67970, real=114417, gc=1273]
[2013.09.25 15:04:38] [rosette/tests/all-tests.rkt run-bv] [cpu=21077, real=37367, gc=512]
[2013.10.01 10:31:01] [rosette/tests/all-tests.rkt run-all] [cpu=16668, real=26014, gc=1128]
[2013.10.01 10:32:57] [rosette/tests/all-tests.rkt run-z3] [cpu=64992, real=116378, gc=1154]
[2013.10.01 10:33:40] [rosette/tests/all-tests.rkt run-bv] [cpu=22001, real=42631, gc=3025]
[2013.10.06 23:29:31] [rosette/tests/all-tests.rkt run-all] [cpu=16958, real=25524, gc=1221]
[2013.10.06 23:31:21] [rosette/tests/all-tests.rkt run-z3] [cpu=65385, real=110145, gc=1102]
[2013.10.06 23:32:00] [rosette/tests/all-tests.rkt run-bv] [cpu=22760, real=38622, gc=3075]
[2013.10.15 16:00:19] [rosette/tests/all-tests.rkt run-all] [cpu=16062, real=26138, gc=938]
[2013.10.15 16:02:14] [rosette/tests/all-tests.rkt run-z3] [cpu=67045, real=114618, gc=3790]
[2013.10.15 16:02:53] [rosette/tests/all-tests.rkt run-bv] [cpu=22530, real=38979, gc=3006]
[2013.12.05 13:16:02] [rosette/tests/all-tests.rkt run-all] [cpu=16551, real=26801, gc=1249]
[2013.12.05 13:18:33] [rosette/tests/all-tests.rkt run-z3] [cpu=79926, real=151686, gc=1390]
[2013.12.05 13:19:17] [rosette/tests/all-tests.rkt run-bv] [cpu=21960, real=43986, gc=616]
[2014.01.23 11:12:50] [rosette/tests/all-tests.rkt run-all] [cpu=18648, real=28154, gc=3572]
[2014.01.23 11:14:44] [rosette/tests/all-tests.rkt run-z3] [cpu=68990, real=113734, gc=1255]
[2014.01.23 11:15:22] [rosette/tests/all-tests.rkt run-bv] [cpu=21624, real=38073, gc=582]
[2014.02.20 22:13:39] [rosette/tests/all-tests.rkt run-all] [cpu=17806, real=27504, gc=2944]
[2014.02.20 22:16:06] [rosette/tests/all-tests.rkt run-z3] [cpu=93315, real=147118, gc=4640]
[2014.02.20 22:16:49] [rosette/tests/all-tests.rkt run-bv] [cpu=24144, real=42774, gc=550]
[2014.02.20 22:18:09] [rosette/tests/all-tests.rkt run-all] [cpu=16313, real=26850, gc=927]
[2014.02.20 22:20:08] [rosette/tests/all-tests.rkt run-z3] [cpu=67800, real=118756, gc=3952]
[2014.02.20 22:20:46] [rosette/tests/all-tests.rkt run-bv] [cpu=19100, real=37734, gc=548]
[2014.02.22 12:15:21] [rosette/tests/all-tests.rkt run-all] [cpu=17530, real=26556, gc=2816]
[2014.02.22 12:17:47] [rosette/tests/all-tests.rkt run-z3] [cpu=80610, real=146325, gc=1495]
[2014.02.22 12:18:34] [rosette/tests/all-tests.rkt run-bv] [cpu=22459, real=46920, gc=599]
[2014.02.22 12:34:40] [rosette/tests/all-tests.rkt run-all] [cpu=15827, real=24834, gc=1039]
[2014.02.22 12:36:36] [rosette/tests/all-tests.rkt run-z3] [cpu=72032, real=116101, gc=3652]
[2014.02.22 12:37:14] [rosette/tests/all-tests.rkt run-bv] [cpu=21469, real=37222, gc=539]
[2014.03.14 14:45:19] [rosette/tests/all-tests.rkt run-all] [cpu=20107, real=29883, gc=3727]
[2014.03.14 14:47:15] [rosette/tests/all-tests.rkt run-z3] [cpu=63779, real=116170, gc=1119]
[2014.03.14 14:47:52] [rosette/tests/all-tests.rkt run-bv] [cpu=18752, real=37215, gc=474]
[2014.03.14 14:48:56] [rosette/tests/all-tests.rkt run-all] [cpu=14462, real=24072, gc=848]
[2014.03.14 14:51:09] [rosette/tests/all-tests.rkt run-z3] [cpu=65874, real=133762, gc=1164]
[2014.03.14 14:51:50] [rosette/tests/all-tests.rkt run-bv] [cpu=19538, real=41188, gc=488]
[2014.03.25 12:05:49] [rosette/tests/all-tests.rkt run-all] [cpu=15840, real=27731, gc=1021]
[2014.03.25 12:08:00] [rosette/tests/all-tests.rkt run-z3] [cpu=64508, real=131804, gc=3861]
[2014.03.25 12:08:42] [rosette/tests/all-tests.rkt run-bv] [cpu=21127, real=41733, gc=470]
[2014.03.25 12:09:43] [rosette/tests/all-tests.rkt run-all] [cpu=16466, real=25785, gc=962]
[2014.03.25 12:12:08] [rosette/tests/all-tests.rkt run-z3] [cpu=80913, real=145206, gc=1498]
[2014.03.25 12:12:53] [rosette/tests/all-tests.rkt run-bv] [cpu=24503, real=44955, gc=624]
[2014.04.04 11:21:38] [rosette/tests/all-tests.rkt run-all] [cpu=17694, real=27153, gc=2864]
[2014.04.04 11:24:04] [rosette/tests/all-tests.rkt run-z3] [cpu=75892, real=146002, gc=1427]
[2014.04.04 11:24:51] [rosette/tests/all-tests.rkt run-bv] [cpu=24038, real=46660, gc=572]
[2014.04.06 18:22:02] [rosette/tests/all-tests.rkt run-all] [cpu=15660, real=24002, gc=1008]
[2014.04.06 18:24:11] [rosette/tests/all-tests.rkt run-z3] [cpu=69420, real=128726, gc=3671]
[2014.04.06 18:24:51] [rosette/tests/all-tests.rkt run-bv] [cpu=22583, real=40432, gc=451]
[2014.06.16 11:22:11] [rosette/tests/all-tests.rkt run-all] [cpu=18020, real=28273, gc=2943]
[2014.06.16 11:24:21] [rosette/tests/all-tests.rkt run-z3] [cpu=72663, real=129841, gc=3716]
[2014.06.16 11:25:03] [rosette/tests/all-tests.rkt run-bv] [cpu=18058, real=42540, gc=504]
[2014.06.16 15:57:23] [rosette/tests/all-tests.rkt run-all] [cpu=18226, real=27240, gc=2784]
[2014.06.16 15:59:55] [rosette/tests/all-tests.rkt run-z3] [cpu=99825, real=152380, gc=7356]
[2014.06.16 16:00:40] [rosette/tests/all-tests.rkt run-bv] [cpu=24269, real=44866, gc=589]
[2014.06.16 16:24:12] [rosette/tests/all-tests.rkt run-all] [cpu=18980, real=27429, gc=3348]
[2014.06.16 16:27:10] [rosette/tests/all-tests.rkt run-z3] [cpu=97928, real=178467, gc=1538]
[2014.06.16 16:28:03] [rosette/tests/all-tests.rkt run-bv] [cpu=27851, real=53198, gc=593]
[2014.06.16 16:29:21] [rosette/tests/all-tests.rkt run-all] [cpu=16862, real=24893, gc=1022]
[2014.06.16 16:31:30] [rosette/tests/all-tests.rkt run-z3] [cpu=71194, real=129142, gc=3544]
[2014.06.16 16:32:12] [rosette/tests/all-tests.rkt run-bv] [cpu=20143, real=41887, gc=548]
[2014.06.16 17:43:26] [rosette/tests/all-tests.rkt run-all] [cpu=15850, real=26420, gc=3197]
[2014.06.16 17:46:03] [rosette/tests/all-tests.rkt run-z3] [cpu=92798, real=157024, gc=1474]
[2014.06.16 17:46:51] [rosette/tests/all-tests.rkt run-bv] [cpu=26909, real=47197, gc=584]
[2014.06.17 10:45:59] [rosette/tests/all-tests.rkt run-all] [cpu=16557, real=25665, gc=3460]
[2014.06.17 10:48:44] [rosette/tests/all-tests.rkt run-z3] [cpu=95720, real=164716, gc=1340]
[2014.06.17 10:49:44] [rosette/tests/all-tests.rkt run-bv] [cpu=40717, real=60197, gc=1337]
[2014.06.17 11:16:30] [rosette/tests/all-tests.rkt run-all] [cpu=16311, real=25005, gc=3171]
[2014.06.17 11:19:26] [rosette/tests/all-tests.rkt run-z3] [cpu=91654, real=175912, gc=1433]
[2014.06.17 11:20:18] [rosette/tests/all-tests.rkt run-bv] [cpu=27783, real=52170, gc=545]
[2014.06.17 11:54:05] [rosette/tests/all-tests.rkt run-all] [cpu=16888, real=25601, gc=3577]
[2014.06.17 11:56:30] [rosette/tests/all-tests.rkt run-z3] [cpu=84891, real=144866, gc=1318]
[2014.06.17 11:57:17] [rosette/tests/all-tests.rkt run-bv] [cpu=23489, real=46938, gc=568]
[2014.06.17 13:35:29] [rosette/tests/all-tests.rkt run-all] [cpu=15935, real=24765, gc=3017]
[2014.06.17 13:37:56] [rosette/tests/all-tests.rkt run-z3] [cpu=78069, real=147046, gc=1325]
[2014.06.17 13:38:40] [rosette/tests/all-tests.rkt run-bv] [cpu=21713, real=44427, gc=479]
[2014.06.17 13:56:28] [rosette/tests/all-tests.rkt run-all] [cpu=17815, real=26067, gc=3759]
[2014.06.17 13:59:28] [rosette/tests/all-tests.rkt run-z3] [cpu=109281, real=180318, gc=1594]
[2014.06.17 14:00:22] [rosette/tests/all-tests.rkt run-bv] [cpu=29680, real=53149, gc=621]
[2014.06.17 16:29:15] [rosette/tests/all-tests.rkt run-all] [cpu=17379, real=26296, gc=3800]
[2014.06.17 16:31:38] [rosette/tests/all-tests.rkt run-z3] [cpu=80000, real=143005, gc=1465]
[2014.06.17 16:32:20] [rosette/tests/all-tests.rkt run-bv] [cpu=23800, real=42584, gc=542]
[2014.06.19 11:56:24] [rosette/tests/all-tests.rkt run-all] [cpu=15506, real=24955, gc=1334]
[2014.06.19 12:00:56] [rosette/tests/all-tests.rkt run-z3] [cpu=160003, real=272011, gc=2144]
[2014.06.19 12:02:16] [rosette/tests/all-tests.rkt run-bv] [cpu=41913, real=79096, gc=718]
[2014.06.19 15:54:21] [rosette/tests/all-tests.rkt run-all] [cpu=14738, real=24199, gc=1111]
[2014.06.19 15:56:47] [rosette/tests/all-tests.rkt run-z3] [cpu=78750, real=146441, gc=1288]
[2014.06.19 15:57:36] [rosette/tests/all-tests.rkt run-bv] [cpu=25217, real=48688, gc=3298]
[2014.07.16 13:26:36] [rosette/tests/all-tests.rkt run-all] [cpu=17276, real=28578, gc=3235]
[2014.07.16 13:29:06] [rosette/tests/all-tests.rkt run-z3] [cpu=74814, real=149646, gc=1453]
[2014.07.16 13:29:52] [rosette/tests/all-tests.rkt run-bv] [cpu=21501, real=46588, gc=549]
[2014.07.16 15:18:37] [rosette/tests/all-tests.rkt run-all] [cpu=15915, real=27637, gc=1383]
[2014.07.16 15:21:48] [rosette/tests/all-tests.rkt run-z3] [cpu=115715, real=191774, gc=1909]
[2014.07.16 15:22:48] [rosette/tests/all-tests.rkt run-bv] [cpu=36013, real=59502, gc=3793]
[2014.07.16 16:41:06] [rosette/tests/all-tests.rkt run-all] [cpu=15123, real=24367, gc=1344]
[2014.07.16 16:44:46] [rosette/tests/all-tests.rkt run-z3] [cpu=131544, real=219321, gc=2137]
[2014.07.16 16:45:49] [rosette/tests/all-tests.rkt run-bv] [cpu=37996, real=63331, gc=4038]
[2014.07.16 16:46:50] [rosette/tests/all-tests.rkt run-all] [cpu=14663, real=24348, gc=1418]
[2014.07.16 16:50:41] [rosette/tests/all-tests.rkt run-z3] [cpu=136840, real=231751, gc=2202]
[2014.07.16 16:51:50] [rosette/tests/all-tests.rkt run-bv] [cpu=37315, real=68601, gc=694]
[2014.07.16 17:30:59] [rosette/tests/all-tests.rkt run-all] [cpu=14348, real=24810, gc=921]
[2014.07.16 17:33:04] [rosette/tests/all-tests.rkt run-z3] [cpu=75099, real=124935, gc=963]
[2014.07.16 17:33:42] [rosette/tests/all-tests.rkt run-bv] [cpu=22067, real=38533, gc=448]
[2014.07.17 09:50:47] [rosette/tests/all-tests.rkt run-all] [cpu=14201, real=24311, gc=885]
[2014.07.17 09:52:56] [rosette/tests/all-tests.rkt run-z3] [cpu=63970, real=128138, gc=953]
[2014.07.17 09:53:38] [rosette/tests/all-tests.rkt run-bv] [cpu=22911, real=42374, gc=3298]
[2014.07.17 11:38:10] [rosette/tests/all-tests.rkt run-all] [cpu=14190, real=24321, gc=904]
[2014.07.17 11:40:18] [rosette/tests/all-tests.rkt run-z3] [cpu=74133, real=128072, gc=1028]
[2014.07.17 11:41:01] [rosette/tests/all-tests.rkt run-bv] [cpu=25169, real=43459, gc=3469]
[2014.07.17 15:25:28] [rosette/tests/all-tests.rkt run-all] [cpu=13663, real=27800, gc=1070]
[2014.07.17 15:28:30] [rosette/tests/all-tests.rkt run-z3] [cpu=94055, real=182102, gc=4502]
[2014.07.17 15:29:23] [rosette/tests/all-tests.rkt run-bv] [cpu=25854, real=53016, gc=560]
[2014.07.17 15:38:09] [rosette/tests/all-tests.rkt run-all] [cpu=15812, real=23972, gc=1351]
[2014.07.17 15:40:17] [rosette/tests/all-tests.rkt run-z3] [cpu=73884, real=128053, gc=1008]
[2014.07.17 15:40:58] [rosette/tests/all-tests.rkt run-bv] [cpu=22278, real=40973, gc=476]
[2014.07.17 16:25:46] [rosette/tests/all-tests.rkt run-all] [cpu=15141, real=24479, gc=1194]
[2014.07.17 16:27:52] [rosette/tests/all-tests.rkt run-z3] [cpu=68369, real=126279, gc=994]
[2014.07.17 16:28:33] [rosette/tests/all-tests.rkt run-bv] [cpu=19205, real=40715, gc=443]
[2014.07.18 08:26:21] [rosette/tests/all-tests.rkt run-all] [cpu=14173, real=24816, gc=924]
[2014.07.18 10:25:09] [rosette/tests/all-tests.rkt run-all] [cpu=14479, real=25399, gc=901]
[2014.07.18 10:27:24] [rosette/tests/all-tests.rkt run-z3] [cpu=62892, real=134442, gc=4051]
[2014.07.18 10:28:05] [rosette/tests/all-tests.rkt run-bv] [cpu=17885, real=41601, gc=475]
[2014.07.18 11:47:15] [rosette/tests/all-tests.rkt run-all] [cpu=15482, real=23708, gc=1295]
[2014.07.18 11:49:29] [rosette/tests/all-tests.rkt run-z3] [cpu=73852, real=134435, gc=1085]
[2014.07.18 11:50:09] [rosette/tests/all-tests.rkt run-bv] [cpu=19620, real=40513, gc=447]
[2014.07.22 21:07:06] [rosette/tests/all-tests.rkt run-all] [cpu=15502, real=24295, gc=1203]
[2014.07.22 21:09:12] [rosette/tests/all-tests.rkt run-z3] [cpu=74006, real=125748, gc=3846]
[2014.07.22 21:09:52] [rosette/tests/all-tests.rkt run-bv] [cpu=22017, real=40119, gc=482]
; ADDED NEW TESTS FOR EQUALITY AND TYPE OPERATIONS (least-common-supertype)
[2014.07.24 17:44:30] [rosette/tests/all-tests.rkt run-all] [cpu=14907, real=23085, gc=1143]
[2014.07.24 17:46:36] [rosette/tests/all-tests.rkt run-z3] [cpu=76372, real=126115, gc=1033]
[2014.07.24 17:47:19] [rosette/tests/all-tests.rkt run-bv] [cpu=25083, real=42833, gc=3392]
[2014.07.25 10:50:42] [rosette/tests/all-tests.rkt run-all] [cpu=14532, real=24086, gc=960]
[2014.07.25 10:52:48] [rosette/tests/all-tests.rkt run-z3] [cpu=74424, real=126335, gc=1024]
[2014.07.25 10:53:30] [rosette/tests/all-tests.rkt run-bv] [cpu=22918, real=41119, gc=459]
[2014.07.25 12:27:51] [rosette/test/all-tests.rkt run-all] [cpu=17377, real=28527, gc=3603]
[2014.07.25 12:30:02] [rosette/test/all-tests.rkt run-z3] [cpu=62276, real=131022, gc=987]
[2014.07.25 12:30:46] [rosette/test/all-tests.rkt run-bv] [cpu=17779, real=44052, gc=457]
[2014.07.25 16:58:17] [rosette/test/all-tests.rkt run-all] [cpu=17521, real=27173, gc=3933]
[2014.07.25 17:00:25] [rosette/test/all-tests.rkt run-z3] [cpu=78052, real=128594, gc=1064]
[2014.07.25 17:01:07] [rosette/test/all-tests.rkt run-bv] [cpu=23722, real=41769, gc=477]
[2014.07.26 12:11:27] [rosette/test/all-tests.rkt run-all] [cpu=14111, real=22704, gc=925]
[2014.07.26 12:13:32] [rosette/test/all-tests.rkt run-z3] [cpu=65809, real=124133, gc=980]
[2014.07.26 12:14:12] [rosette/test/all-tests.rkt run-bv] [cpu=20591, real=39902, gc=480]
[2014.07.31 10:37:23] [rosette/test/all-tests.rkt run-all] [cpu=15078, real=24563, gc=1049]
[2014.07.31 10:39:33] [rosette/test/all-tests.rkt run-z3] [cpu=77867, real=130109, gc=1056]
[2014.07.31 10:40:18] [rosette/test/all-tests.rkt run-bv] [cpu=26431, real=44093, gc=3545]
[2014.07.31 15:00:47] [rosette/test/all-tests.rkt run-all] [cpu=14680, real=23803, gc=998]
[2014.07.31 15:02:58] [rosette/test/all-tests.rkt run-z3] [cpu=77428, real=130733, gc=1069]
[2014.07.31 15:03:42] [rosette/test/all-tests.rkt run-bv] [cpu=25515, real=43703, gc=3458]
[2014.07.31 15:54:34] [rosette/test/all-tests.rkt run-all] [cpu=17350, real=26021, gc=3693]
[2014.07.31 15:56:42] [rosette/test/all-tests.rkt run-z3] [cpu=76728, real=128294, gc=993]
[2014.07.31 17:45:17] [rosette/test/all-tests.rkt run-all] [cpu=14674, real=23057, gc=1061]
[2014.07.31 17:47:24] [rosette/test/all-tests.rkt run-z3] [cpu=76201, real=126411, gc=1042]
[2014.07.31 17:48:07] [rosette/test/all-tests.rkt run-bv] [cpu=25209, real=43178, gc=3497]
[2014.08.14 15:29:54] [rosette/test/all-tests.rkt run-all] [cpu=16798, real=27473, gc=3021]
[2014.08.14 15:32:22] [rosette/test/all-tests.rkt run-z3] [cpu=75629, real=147249, gc=1118]
[2014.08.14 15:33:07] [rosette/test/all-tests.rkt run-bv] [cpu=23038, real=44811, gc=454]
[2014.09.02 15:09:41] [rosette/test/all-tests.rkt run-all] [cpu=6272, real=8837, gc=664]
[2014.09.02 15:10:51] [rosette/test/all-tests.rkt run-z3] [cpu=45853, real=69484, gc=2195]
[2014.09.02 15:11:11] [rosette/test/all-tests.rkt run-bv] [cpu=12289, real=20704, gc=240]
[2014.09.02 16:16:38] [rosette/test/all-tests.rkt run-all] [cpu=6075, real=8352, gc=710]
[2014.09.02 16:17:38] [rosette/test/all-tests.rkt run-z3] [cpu=39190, real=60147, gc=907]
[2014.09.02 16:17:56] [rosette/test/all-tests.rkt run-bv] [cpu=11805, real=18579, gc=339]
[2014.09.16 12:27:44] [rosette/test/all-tests.rkt run-all] [cpu=6896, real=9158, gc=1466]
[2014.09.16 12:28:37] [rosette/test/all-tests.rkt run-z3] [cpu=34765, real=52230, gc=708]
[2014.09.16 12:28:53] [rosette/test/all-tests.rkt run-bv] [cpu=10647, real=16905, gc=266]
[2014.10.03 14:56:38] [rosette/test/all-tests.rkt run-all] [cpu=7160, real=9425, gc=1851]
[2014.10.03 14:57:49] [rosette/test/all-tests.rkt run-z3] [cpu=48214, real=70926, gc=812]
[2014.10.03 14:58:12] [rosette/test/all-tests.rkt run-bv] [cpu=13909, real=23178, gc=291]
[2014.10.03 15:18:24] [rosette/test/all-tests.rkt run-all] [cpu=5973, real=8224, gc=685]
[2014.10.03 15:20:13] [rosette/test/all-tests.rkt run-z3] [cpu=72339, real=108317, gc=911]
[2014.10.03 15:20:47] [rosette/test/all-tests.rkt run-bv] [cpu=22652, real=33967, gc=2224]
[2014.10.25 22:07:09] [rosette/test/all-tests.rkt run-all] [cpu=15806, real=24736, gc=2273]
[2014.10.25 22:10:05] [rosette/test/all-tests.rkt run-z3] [cpu=100207, real=176055, gc=1410]
[2014.10.25 22:10:59] [rosette/test/all-tests.rkt run-bv] [cpu=28386, real=54418, gc=551]
[2015.01.14 10:20:10] [rosette/test/all-tests.rkt run-all] [cpu=12466, real=14741, gc=3521]
[2015.01.14 10:21:35] [rosette/test/all-tests.rkt run-z3] [cpu=48713, real=85245, gc=1576]
[2015.01.14 10:22:05] [rosette/test/all-tests.rkt run-bv] [cpu=19573, real=30057, gc=3352]
[2015.04.18 09:32:07] [rosette/test/all-tests.rkt run-all] [cpu=15943, real=25705, gc=1309]
[2015.04.18 09:35:09] [rosette/test/all-tests.rkt run-z3] [cpu=92168, real=182724, gc=1216]
[2015.04.18 09:36:04] [rosette/test/all-tests.rkt run-bv] [cpu=25951, real=54305, gc=550]

[2015.07.14 14:23:12] [rosette/test/all-tests.rkt run-all] [cpu=5907, real=8101, gc=489]
[2015.07.14 14:24:41] [rosette/test/all-tests.rkt run-z3] [cpu=54182, real=88877, gc=535]
[2015.07.14 14:25:07] [rosette/test/all-tests.rkt run-bv] [cpu=15534, real=25613, gc=231]
[2015.07.14 14:30:17] [rosette/test/all-tests.rkt run-all] [cpu=6554, real=8204, gc=632]
[2015.07.14 14:31:55] [rosette/test/all-tests.rkt run-z3] [cpu=61590, real=97453, gc=589]
[2015.07.14 14:32:22] [rosette/test/all-tests.rkt run-bv] [cpu=15534, real=26736, gc=174]
[2015.07.14 14:37:22] [rosette/test/all-tests.rkt run-all] [cpu=11684, real=13887, gc=3384]
[2015.07.14 14:39:01] [rosette/test/all-tests.rkt run-z3] [cpu=59892, real=99458, gc=1217]
[2015.07.14 14:39:31] [rosette/test/all-tests.rkt run-bv] [cpu=18337, real=29781, gc=704]
[2015.07.14 14:40:26] [rosette/test/all-tests.rkt run-all] [cpu=11094, real=13281, gc=2974]
[2015.07.14 14:42:13] [rosette/test/all-tests.rkt run-z3] [cpu=65747, real=106571, gc=1227]
[2015.07.14 14:42:44] [rosette/test/all-tests.rkt run-bv] [cpu=20662, real=31273, gc=2969]
[2015.07.14 14:43:50] [rosette/test/all-tests.rkt run-all] [cpu=10425, real=12653, gc=2259]
[2015.07.14 14:44:41] [rosette/test/all-tests.rkt run-z3] [cpu=31154, real=50786, gc=2627]
[2015.07.14 14:44:58] [rosette/test/all-tests.rkt run-bv] [cpu=10160, real=16815, gc=607]
