% Runtimes for solver ve --elim random
% using query 2.2
times_ve_elim_random_2_2 = [ 760,  1267,  1278,  1693,  2010,  2041,  2111,  2159,  2170,  2212,  2214,  2301,  2454,  2461,  2471,  2478,  2535,  2541,  2558,  2568,  2598,  2809,  2825,  2843,  2925,  3069,  3145,  3164,  3308,  3611,  3615,  3732,  3821,  3913,  3977,  4007,  4036,  4059,  4137,  4144,  4193,  4195,  4213,  4279,  4288,  4337,  4369,  4508,  4514,  4644,  4675,  4699,  4700,  4720,  4784,  4797,  4809,  4875,  4891,  4899,  5011,  5048,  5099,  5121,  5142,  5165,  5194,  5248,  5251,  5292,  5408,  5462,  5548,  5568,  5622,  5633,  5646,  5658,  5666,  5802,  5888,  6033,  6062,  6169,  6187,  6261,  6343,  6423,  6564,  6588,  6658,  6776,  6792,  7203,  7255,  7292,  7427,  7506,  7556,  7614,  7693,  7725,  7775,  7890,  7899,  7931,  7962,  8105,  8357,  8409,  8509,  8521,  8524,  8549,  8562,  8592,  8679,  8797,  8860,  8880,  9271,  9343,  9521,  9537,  9545,  9588,  9652,  9793,  9829,  9854,  9880,  10001,  10045,  10211,  10329,  10364,  10377,  10592,  10633,  10651,  10715,  11053,  11304,  11317,  11431,  11681,  11776,  11796,  12192,  12218,  12235,  12449,  12608,  12610,  12615,  12644,  12709,  12715,  12758,  12833,  13377,  13420,  13667,  13990,  14357,  14451,  14578,  14639,  14738,  14888,  15257,  15398,  15422,  15505,  15530,  15946,  16210,  16356,  16517,  16562,  16616,  16662,  16689,  16924,  17018,  17257,  17728,  17749,  17971,  18145,  18156,  18196,  18283,  19049,  19114,  19209,  19578,  19800,  19801,  19960,  20046,  20415,  20466,  20923,  21109,  21269,  21283,  21581,  21788,  22124,  22164,  22198,  22641,  23178,  23709,  23779,  24013,  24073,  24340,  24429,  24723,  24760,  24919,  25075,  25476,  25601,  25869,  25967,  26019,  26332,  26420,  26470,  26478,  26527,  26794,  26965,  26992,  27197,  27199,  27408,  27497,  28049,  28243,  28690,  28696,  29052,  29378,  29727,  29748,  30087,  30298,  30388,  30620,  31227,  31431,  31807,  32143,  32596,  32601,  32742,  32793,  32948,  33392,  33552,  33705,  33792,  33932,  34276,  34413,  34592,  34665,  34676,  34843,  34919,  34969,  34981,  35133,  35473,  35561,  35668,  35835,  36144,  36216,  36308,  36310,  36335,  36487,  36660,  36678,  36756,  37011,  37513,  37518,  37546,  37591,  38330,  38380,  39517,  39631,  39967,  40184,  40230,  40827,  41141,  41484,  41988,  42312,  42354,  42871,  43209,  43366,  43405,  43956,  44085,  44436,  44535,  44624,  45164,  45638,  45915,  46197,  46308,  47601,  47828,  47837,  47843,  48162,  48704,  49025,  49524,  49532,  50354,  50461,  51569,  52497,  52818,  52926,  53441,  53494,  53644,  53877,  53934,  56094,  56136,  56711,  57190,  58055,  58183,  58994,  59380,  59387,  59890,  59967,  60409,  62230,  62558,  62641,  64133,  64193,  64528,  65181,  66389,  66951,  68160,  69558,  69803,  70195,  70919,  71076,  71282,  71444,  71976,  72691,  72911,  72950,  73100,  73475,  73535,  74441,  74480,  74617,  76400,  77002,  78361,  78633,  78931,  79634,  80850,  80868,  81786,  82494,  82788,  84738,  84927,  85799,  86575,  86948,  87291,  89654,  90329,  94051,  94354,  96550,  99035,  100302,  103727,  105371,  105610,  107655,  107920,  108462,  112485,  113175,  114107,  114905,  115289,  116616,  118772,  120453,  121282,  121796,  126279,  132169,  132394,  132503,  135328,  136125,  136238,  138637,  146493,  149969,  155910,  156943,  161647,  163124,  164193,  170668,  174808,  182490,  185696,  189024,  197195,  199105,  199717,  202039,  211148,  222722,  228876,  240185,  240712,  247375,  248025,  260566,  261517,  284309,  307292,  312142,  324943,  338486,  365065,  383140,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768,  459768 ];
hist(log10(times_ve_elim_random_2_2), 35);
xlabel('x = Log_{10}(milliseconds)');
ylabel('Number of trials of length 10^x milliseconds ');
print -deps2 ve_elim_random_2_2