OCaml Memory Profiler — Beta


Date User Command Number of dumps Details (new window)
2015/08/12 at 06:54:57 Protzenko Jonathanhuffman '-l' '10000' '-n' '10000' '-h'5872/5872See the graphs
2015/02/13 at 17:02:14 David Baeldeapte '-with_por' '../Simple_Example/Auth_Needham_Schroeder_Love_strongSec_2s.txt'2193/2193See the graphs
2015/02/13 at 17:16:50 David Baeldeapte '-no_comm' '../Simple_Example/Auth_Needham_Schroeder_Love_strongSec_2s.txt'1065/1065+1See the graphs
2015/02/13 at 20:32:27 David Baeldeapte '-no_comm' '../Simple_Example/Auth_Needham_Schroeder_Love_strongSec_1s.txt'785/785+1See the graphs
2015/01/27 at 18:01:02 Gautier Hattenbergergcs.opt674/674See the graphs
2015/05/15 at 15:32:21 Mohamed IGUERNLALAae-4.01.0+ocp1-public-without-patch 'pb-many-GCs.why'612/612+1See the graphs
2016/06/13 at 10:01:07 Christophe Raffallisubml.native 'lib/munu4.typ'609/609See the graphs
2015/02/13 at 20:30:28 David Baeldeapte '../Simple_Example/Auth_Needham_Schroeder_Love_strongSec_1s.txt'575/575+1See the graphs
2015/07/22 at 14:17:34 Jérôme Vouillonocsigenserver.opt '-v' '-c' 'local/etc/bs/bs-test.conf'390/390See the graphs
2015/01/28 at 14:34:09 Gautier Hattenbergermessages286/286See the graphs
2015/02/15 at 19:06:15 Mohamed IGUERNLALAalt-ergo.opt 'ex3.mlw' '-timelimit' '18000'268/268See the graphs
2015/08/12 at 19:19:05 Protzenko Jonathanhuffman '-l' '1500' '-n' '1000' '-r' '155' '-h'249/249See the graphs
2015/08/12 at 19:15:13 Protzenko Jonathanhuffman '-l' '1500' '-n' '1000' '-h'249/249See the graphs
2015/08/12 at 19:12:48 Protzenko Jonathanhuffman '-l' '1000' '-n' '1000' '-h' '-r' '531'249/249+1See the graphs
2015/08/12 at 19:11:26 Protzenko Jonathanhuffman '-l' '1000' '-n' '1000' '-h'249/249See the graphs
2015/02/15 at 12:37:57 Mohamed IGUERNLALAalt-ergo.opt 'ex3.mlw' '-timelimit' '3600'231/231See the graphs
2015/03/05 at 13:41:42 Çagdas Bozmanscanf.x192/192See the graphs
2015/02/13 at 16:03:29 francois berengeracpc '-er' '0.01' '-actives' 'PPAR_gamma_agonist/ligands/actives.txt' '-q' 'PPAR_gamma_agonist/ligands/ligands_0000001/0000001.mol2' '-db' 'PPAR_gamma_agonist/ligands/db.mol2.bin'187/187See the graphs
2015/02/13 at 15:28:05 francois berengeracpc '-er' '0.01' '-actives' 'PPAR_gamma_agonist/ligands/actives.txt' '-q' 'PPAR_gamma_agonist/ligands/ligands_0000001/0000001.mol2' '-db' 'PPAR_gamma_agonist/ligands/db.mol2'176/176See the graphs
2015/03/02 at 16:13:14 Çagdas Bozmanocsigenserver.opt '-c' 'ocsigenserver.opt.conf' '-v'150/150+1See the graphs
2015/02/16 at 10:47:19 Mohamed IGUERNLALAalt-ergo.opt 'ex3_without_CompatOrderMult.mlw' '-timelimit' '18000'111/111See the graphs
2015/05/30 at 17:57:13 Hannes Mehnertmir-seal110/110+1See the graphs
2015/03/11 at 10:43:48 Mohamed IGUERNLALAalt-ergo.opt 'ex.mlw' '-timelimit' '10'110/110+1See the graphs
2015/02/13 at 18:55:52 Mohamed IGUERNLALAalt-ergo.opt 'ex3.mlw' '-timelimit' '300'105/105+5See the graphs
2016/06/10 at 07:52:53 Olivier Martymain 'a'102/102+1See the graphs
2016/01/05 at 10:55:02 Alex Sutiivfimport '--project-dir=/home1a/sutii/VF/tickets/1560/simple' '--arch-file=/home1a/sutii/BUILD/vfe_local/install/x86_64-linux/vfplatform/verify/target/platform/arm-a9-4.vfa' '-p' '/home1a/sutii/BUILD/vfe_local/install/x86_64-linux/vfplatform/verify/target/lib/libarm.so' '-p' '/home1a/sutii/BUILD/vfe_local/install/x86_64-linux/vfplatform/verify/target/lib/libaccel.so' '-p' '/home1a/sutii/BUILD/vfe_local/install/x86_64-linux/vfplatform/verify/target/lib/libsoc.so' '--program-id=1451910707.9829' '--program-id=1451910885.10145' '--program-id=1451910556.9545' '--program-id=1451910740.9875' '--program-id=1451910666.9745' '--program-id=1451910685.9779' '--program-id=1451910836.10066' '--program-id=1451910729.9864' '--program-id=1451910621.9674' '--program-id=1451910699.9818' '--program-id=1451910762.9920' '--program-id=1451910661.9734' '--program-id=1451910677.9767' '--program-id=1451910587.9601' '--program-id=1451910582.9590' '--program-id=1451910807.10020' '--program-id=1451910671.9756' '--program-id=1451910724.9853' '--program-id=1451910841.10077' '--program-id=1451910750.9898' '--program-id=1451910823.10044' '--program-id=1451910849.10088' '--program-id=1451910602.9632' '--program-id=1451910863.10110' '--program-id=1451910756.9909' '--program-id=1451910869.10122' '--program-id=1451910694.9805' '--program-id=1451910745.9886' '--program-id=1451910616.9662' '--program-id=1451910876.10134' '--program-id=1451910652.9718' '--program-id=1451910775.9944' '--program-id=1451910784.9955' '--program-id=1451910769.9931' '--program-id=1451910814.10032' '--program-id=1451910569.9568' '--program-id=1451910547.9534' '--program-id=1451910790.9966' '--program-id=1451910576.9579' '--program-id=1451910802.10007' '--program-id=1451910627.9685' '--program-id=1451910594.9612' '--program-id=1451910830.10055' '--program-id=1451910561.9556' '--program-id=1451910646.9707' '--program-id=1451910641.9696' '--program-id=1451910611.9651' '--program-id=1451910856.10099' '--program-id=1451910716.9840' '--program-id=1451910797.9996'101/101See the graphs
2015/02/13 at 09:10:13 Hugo Heuzardjs_of_ocaml 'toplevel.byte'80/80+1See the graphs
2016/07/22 at 16:50:12 frédéric langalt-ergo.opt '../internship-models-stuff/tests/test-M809-005__float_basics-12926__homothetical.adb_8_14_postcondition1.why'79/79See the graphs
2015/01/13 at 22:52:08 David Baeldegeneration_test.native76/76See the graphs
2016/01/05 at 11:35:29 Alex Sutiivfana_import '--project-dir=/home1a/sutii/VF/tickets/1560/simple' '--design=1' '--run-id=1451910707.9829' '--run-id=1451910885.10145' '--run-id=1451910556.9545' '--run-id=1451910740.9875' '--run-id=1451910666.9745' '--run-id=1451910685.9779' '--run-id=1451910836.10066' '--run-id=1451910729.9864' '--run-id=1451910621.9674' '--run-id=1451910699.9818' '--run-id=1451910762.9920' '--run-id=1451910661.9734' '--run-id=1451910677.9767' '--run-id=1451910587.9601' '--run-id=1451910582.9590' '--run-id=1451910807.10020' '--run-id=1451910671.9756' '--run-id=1451910724.9853' '--run-id=1451910841.10077' '--run-id=1451910750.9898' '--run-id=1451910823.10044' '--run-id=1451910849.10088' '--run-id=1451910602.9632' '--run-id=1451910863.10110' '--run-id=1451910756.9909' '--run-id=1451910869.10122' '--run-id=1451910694.9805' '--run-id=1451910745.9886' '--run-id=1451910616.9662' '--run-id=1451910876.10134' '--run-id=1451910652.9718' '--run-id=1451910775.9944' '--run-id=1451910784.9955' '--run-id=1451910769.9931' '--run-id=1451910814.10032' '--run-id=1451910569.9568' '--run-id=1451910547.9534' '--run-id=1451910790.9966' '--run-id=1451910576.9579' '--run-id=1451910802.10007' '--run-id=1451910627.9685' '--run-id=1451910594.9612' '--run-id=1451910830.10055' '--run-id=1451910561.9556' '--run-id=1451910646.9707' '--run-id=1451910641.9696' '--run-id=1451910611.9651' '--run-id=1451910856.10099' '--run-id=1451910716.9840' '--run-id=1451910797.9996'69/69See the graphs
2015/04/14 at 13:26:45 Mohamed IGUERNLALAalt-ergo.opt 'b46b47e70a8eaa71f0fb872807855a39.why'68/68+1See the graphs
2015/02/19 at 18:46:44 Pablo Polvorinxm.native '-f' 'xm_config.ml' 'start'59/59See the graphs
2016/01/27 at 10:39:38 Szymon Pajzerttest54/54See the graphs
2015/02/12 at 22:31:58 Mohamed IGUERNLALAalt-ergo.opt 'devel-15/alt-ergo/alt-ergo-private/benchs-repo/benchs-FLASH/why_1b5ebd_flash_abstr_certif-T-hint_305.why'54/54+1See the graphs
2016/02/18 at 23:32:46 Iago Abaleba.opt '--no-poly-effects' '-L' 'test/linux/dquot.i'52/52See the graphs
2016/02/18 at 21:58:10 Iago Abaleba.opt '-L' 'test/linux/dquot.i'49/49See the graphs
2015/04/25 at 23:29:26 Cole Schlesingerbenchmark.native 'learning' '20'49/49See the graphs
2016/02/18 at 22:44:14 Iago Abaleba.opt '--no-poly-shapes' '-L' 'test/linux/dquot.i'48/48See the graphs
2015/04/26 at 03:39:06 Cole Schlesingerbenchmark.native 'learning' '20' 'all'48/48See the graphs
2016/02/01 at 10:40:21 Test Testalt-ergo-1.20~ 'p4_3_part4-B_translation-ccgg_1573.why' 'p4_3_part4-B_translation-ccgg_1573.why.zip' '-no-tcp' '-normalize-instances' '-no-Ematching' '-nb-triggers' '1'44/44+1See the graphs
2016/07/26 at 00:24:41 Test Testalt-ergo.opt 'Dekker-Jessie_program-WP_parameter__Dekker_safety_2.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching' '-timelimit' '30'43/43See the graphs
2015/02/18 at 10:49:54 Mohamed IGUERNLALAwhy3prove.opt '-C' 'why3.conf' '-L' 'bpo2why/bpo2why_prelude.why' 'PO/p9/p9_17.why' '-D' 'alt_ergo' '-o' 'ofiles/'42/42+1See the graphs
2015/08/30 at 16:08:49 Pierre-Marie Pédrotcompact 'Unfolder.vio'41/41See the graphs
2015/04/14 at 13:54:53 Mohamed IGUERNLALAalt-ergo.opt 'b46b47e70a8eaa71f0fb872807855a39.why' '-max-split' '0'39/39See the graphs
2016/04/06 at 15:20:45 Garay Felipedistcheck.native '-tpef' '--progress' '../npm2.cudf'35/35See the graphs
2015/07/03 at 10:49:30 Andre Oliveiraframa-c '-brat-random-seed' '43' '-brat-test-eval' '3' '-brat-nb-tests' '500000' '-brat-samples-per-test' '1000' '-brat-profile'33/33See the graphs
2015/02/13 at 18:27:08 Mohamed IGUERNLALAalt-ergo.opt 'ex3.mlw' '-timelimit' '10'33/33See the graphs
2015/05/28 at 19:39:46 Gazagnaire Thomasmir-seal31/31+3See the graphs
2015/05/15 at 16:13:22 Mohamed IGUERNLALAae-4.01.0+ocp1-public-with-patch 'pb-many-GCs.why'31/31+1See the graphs
2015/04/26 at 03:32:30 Cole Schlesingerbenchmark.native 'learning' '20' 'fe'31/31See the graphs
2015/02/18 at 11:05:31 Mohamed IGUERNLALActrl-ergo.opt 'tests/3-200-timeout.smt2'30/30See the graphs
2015/01/13 at 22:56:44 David Baeldemain.native29/29See the graphs
2016/06/10 at 14:43:37 Pieter Goetschalckxsearch11/26See the graphs
2016/04/14 at 11:10:30 Garay Felipedistcheck.native '-tpef' '../npm2.cudf'8/24See the graphs
2016/03/13 at 00:52:00 Alex Sutiivfana_import '--project-dir=/data/sutii/qt/tests/qt4' '--design=1' '--run-id=1457807927.30721' '--run-id=1457819327.38182' '--run-id=1457819107.38125' '--run-id=1457809663.32101' '--run-id=1457808233.30908' '--run-id=1457808566.31194' '--run-id=1457819007.37900' '--run-id=1457819340.38206' '--run-id=1457817063.36610' '--run-id=1457808773.31412' '--run-id=1457809124.31654' '--run-id=1457811430.33297' '--run-id=1457810416.32747' '--run-id=1457808754.31396' '--run-id=1457809475.31876' '--run-id=1457809437.31859' '--run-id=1457808420.31149' '--run-id=1457809435.31850' '--run-id=1457812289.33830' '--run-id=1457808293.30941' '--run-id=1457819334.38198' '--run-id=1457809668.32109' '--run-id=1457818984.37867' '--run-id=1457818954.37843' '--run-id=1457808740.31378' '--run-id=1457810121.32540' '--run-id=1457808787.31420' '--run-id=1457809552.32069' '--run-id=1457817047.36602' '--run-id=1457811406.33281' '--run-id=1457819587.38406' '--run-id=1457819011.37925' '--run-id=1457810086.32345' '--run-id=1457809050.31603' '--run-id=1457808339.31115' '--run-id=1457810102.32415' '--run-id=1457808524.31162' '--run-id=1457810084.32337' '--run-id=1457809521.32051' '--run-id=1457809797.32152' '--run-id=1457818946.37834' '--run-id=1457808348.31131' '--run-id=1457807923.30711' '--run-id=1457817069.36618' '--run-id=1457810080.32329' '--run-id=1457809466.31867' '--run-id=1457819115.38142' '--run-id=1457809542.32060' '--run-id=1457808198.30897' '--run-id=1457819117.38150' '--run-id=1457809776.32136' '--run-id=1457809555.32077' '--run-id=1457818978.37851' '--run-id=1457819016.37934' '--run-id=1457808281.30933' '--run-id=1457808747.31386' '--run-id=1457809088.31636' '--run-id=1457810110.32532' '--run-id=1457808342.31123' '--run-id=1457809091.31644' '--run-id=1457819122.38158' '--run-id=1457819005.37884' '--run-id=1457819113.38134' '--run-id=1457808557.31186' '--run-id=1457808538.31170' '--run-id=1457819008.37908' '--run-id=1457808770.31404' '--run-id=1457819003.37876' '--run-id=1457807897.30701' '--run-id=1457819347.38214' '--run-id=1457809658.32093' '--run-id=1457811374.33270' '--run-id=1457811414.33289' '--run-id=1457808544.31178' '--run-id=1457819006.37892' '--run-id=1457819584.38398' '--run-id=1457807891.30693' '--run-id=1457819209.38168' '--run-id=1457807610.30510' '--run-id=1457819078.37952' '--run-id=1457808573.31204' '--run-id=1457810344.32567' '--run-id=1457809782.32144' '--run-id=1457809143.31663' '--run-id=1457809056.31612' '--run-id=1457818983.37859' '--run-id=1457819024.37942' '--run-id=1457808356.31139' '--run-id=1457810389.32578' '--run-id=1457819578.38390' '--run-id=1457819009.37917' '--run-id=1457808274.30925' '--run-id=1457810094.32353' '--run-id=1457809675.32117' '--run-id=1457810127.32550' '--run-id=1457809765.32127' '--run-id=1457808259.30916' '--run-id=1457809077.31628' '--run-id=1457819330.38190' '--run-id=1457809068.31620'23/23See the graphs
2016/03/10 at 13:51:44 Garay Felipecudf-solver.native '/home/felipe/npm2_small2.cudf' '--cudf'23/23See the graphs
2016/03/10 at 12:08:21 Garay Felipedistcheck.native '-tcudf' '/home/felipe/npm2_small.cudf'23/23See the graphs
2015/04/23 at 00:05:54 Victor Lanvinmain.native23/23See the graphs
2015/10/14 at 17:48:26 Pottier Françoismenhir.native '/home/fpottier/dev/CompCert/cparser/pre_parser.mly' '-la' '2' '--list-errors' '--lalr' '--no-stdlib'22/22See the graphs
2015/02/04 at 11:33:35 Boris Yakobowskiframa-c '-load-module' './.frama-c/Frama_c_journal.cmxs'22/22See the graphs
2016/03/10 at 19:14:17 Garay Felipedistcheck.native '-tcudf' '/home/felipe/npm2_small2.cudf'21/21See the graphs
2016/01/31 at 00:45:56 Jean-Frédéric Etienneicl2sll 'localization.icl'21/21+2See the graphs
2016/01/22 at 16:56:36 Gregoire Lionneta.out21/21See the graphs
2016/01/05 at 14:47:27 Alex Sutiivfana_import '--project-dir=/data/sutii/qt/1560/tests/qt4' '--design=1' '--run-id=1451910717.30350' '--run-id=1451900907.10465' '--run-id=1451899477.31611' '--run-id=1451899182.1055' '--run-id=1451899833.14136' '--run-id=1451908485.1081' '--run-id=1451901316.1233' '--run-id=1451899853.19785' '--run-id=1451900561.7222' '--run-id=1451898907.806' '--run-id=1451900680.8035' '--run-id=1451910680.28779' '--run-id=1451898145.614' '--run-id=1451910881.36928' '--run-id=1451902372.23799' '--run-id=1451900549.6801' '--run-id=1451899846.17971' '--run-id=1451908461.35310' '--run-id=1451899901.32452' '--run-id=1451911121.5907' '--run-id=1451900883.8719' '--run-id=1451898166.638' '--run-id=1451901282.38798' '--run-id=1451900412.40798' '--run-id=1451900311.31972' '--run-id=1451910602.25525' '--run-id=1451910651.27588' '--run-id=1451911464.20403' '--run-id=1451900391.39406' '--run-id=1451910690.29322' '--run-id=1451910974.40849' '--run-id=1451911147.6853' '--run-id=1451899196.1189' '--run-id=1451899148.896' '--run-id=1451910876.36705' '--run-id=1451899795.33086' '--run-id=1451900326.33290' '--run-id=1451911104.5297' '--run-id=1451898842.766' '--run-id=1451910634.26827' '--run-id=1451900876.8681' '--run-id=1451900274.27938' '--run-id=1451899927.39045' '--run-id=1451903435.17975' '--run-id=1451900721.8100' '--run-id=1451898938.843' '--run-id=1451900934.16194' '--run-id=1451900918.12322' '--run-id=1451900700.8048' '--run-id=1451910686.29122' '--run-id=1451899138.885' '--run-id=1451910645.27250' '--run-id=1451898811.740' '--run-id=1451911457.19955' '--run-id=1451910802.33713' '--run-id=1451898395.672' '--run-id=1451910497.21445' '--run-id=1451901220.17475' '--run-id=1451910695.29459' '--run-id=1451900897.8975' '--run-id=1451911111.5537' '--run-id=1451910704.29867' '--run-id=1451899166.958' '--run-id=1451898830.753' '--run-id=1451899817.9345' '--run-id=1451910732.30993' '--run-id=1451902407.901' '--run-id=1451900869.8659' '--run-id=1451898425.686' '--run-id=1451900945.16811' '--run-id=1451902440.28566' '--run-id=1451899121.874' '--run-id=1451900269.27379' '--run-id=1451910894.37526' '--run-id=1451899783.29199' '--run-id=1451900419.640' '--run-id=1451899454.31599' '--run-id=1451899014.857' '--run-id=1451898741.715' '--run-id=1451900538.6333' '--run-id=1451899429.31576' '--run-id=1451911446.19403' '--run-id=1451910823.34589' '--run-id=1451898858.779' '--run-id=1451899483.31625' '--run-id=1451910870.36474' '--run-id=1451898914.818' '--run-id=1451908498.2755' '--run-id=1451900531.6195' '--run-id=1451898160.627' '--run-id=1451911133.6304' '--run-id=1451898780.728' '--run-id=1451910699.29723' '--run-id=1451910675.28575' '--run-id=1451899503.31652' '--run-id=1451898925.831' '--run-id=1451900365.37041' '--run-id=1451900668.8023' '--run-id=1451902421.12745' '--run-id=1451899442.31587'21/21+4See the graphs
2016/02/05 at 16:20:52 Jean-Frédéric Etiennetrans 'dump.icl'18/18+1See the graphs
2015/02/10 at 04:19:43 Louis Gesbertdistcheck '--timers' '/var/lib/apt/lists/ftp.jp.debian.org_debian_dists_testing_main_binary-amd64_Packages'18/18See the graphs
2015/02/03 at 18:14:23 Boris Yakobowskiframa-c '-load-script' './.frama-c/frama_c_journal.ml'18/18See the graphs
2015/05/29 at 19:51:17 Enrico Tassinewelpi '-test' '20' 'bench/sources/queens.elpi'17/17See the graphs
2015/05/29 at 19:50:28 Enrico Tassinewelpi '-test' '18' 'bench/sources/queens.elpi'17/17See the graphs
2015/05/29 at 18:28:17 Dunchev Cvetannewelpi '-test' '18' 'tests/queens.elpi'17/17See the graphs
2015/02/13 at 16:25:11 David Baeldeapte '../Simple_Example/Auth_Needham_Schroeder_Love_strongSec_2s.txt'17/17+1See the graphs
2015/02/18 at 17:42:11 Lumani Lutchetiapte_g 'Auth_Needham_Schroeder_Love_strongSec_2s.txt'16/16+3See the graphs
2015/02/15 at 09:11:00 Mohamed IGUERNLALAalt-ergo.opt 'ex3.mlw' '-timelimit' '2'16/16See the graphs
2015/12/22 at 01:10:17 Jean-Frédéric Etiennetest15/15See the graphs
2015/09/08 at 05:23:08 Eugene Lykhovydbithashtest.native15/15See the graphs
2015/03/17 at 18:05:53 Guillaume Burymain.native '/home/guigui/build/zipperposition/pelletier_problems/pb46.p' '-s' '4G' '--inst.nb' '1'15/15See the graphs
2016/06/11 at 11:35:39 Christophe Raffallisubml.native 'lib/munu5.typ'14/14See the graphs
2015/02/09 at 11:36:41 Fabrice Le Fessantocamlopt.opt '-c' 'graph.ml'14/14See the graphs
2015/01/25 at 22:41:59 Jonathan Fetter-Deggessymdroid.native '-se' '/home/jfetter/se/symdroid/scripts/../results/combined.dex' '-com' '/home/jfetter/se/symdroid/scripts/../symdroid20150125-29857-h21d6p' '-cls' 'symdroid/driver/drivers/IFMiniShareCheckBox' '-mtd' 'main' '-dat' '/home/jfetter/se/symdroid/scripts/../data' '-sl' '/home/jfetter/se/symdroid/scripts/../results/IFMiniShareCheckBox.json' '-ni-log' '/home/jfetter/se/symdroid/scripts/../results/IFMiniShareCheckBox-ni.smt2' '-ana' '-pkg' 'symdroid.sample.ifmini'14/14+1See the graphs
2016/06/11 at 13:30:22 Christophe Raffallisubml.native 'lib/parser.typ'13/13See the graphs
2016/02/05 at 17:19:19 Jean-Frédéric Etiennetrans 'dump_no_prep.icl'13/13+1See the graphs
2015/03/17 at 17:44:49 Guillaume Burymain.native '/home/guigui/build/zipperposition/pelletier_problems/equivalence.p' '-s' '4G' '-t' '30s' '--inst.nb' '1'13/13See the graphs
2016/03/10 at 09:10:47 Garay Felipedistcheck.native '-tcudf' './npm2_converter.cudf'12/12See the graphs
2015/09/23 at 15:02:50 Radek Mičektest.native12/12See the graphs
2015/07/03 at 10:39:32 Andre Oliveiraframa-c '-brat-random-seed' '43' '-brat-test-eval' '3' '-brat-nb-tests' '50000' '-brat-samples-per-test' '1000' '-brat-profile'12/12See the graphs
2015/01/25 at 23:15:43 Jonathan Fetter-Deggessymdroid.native '-se' '/home/jfetter/se/symdroid/scripts/../results/combined.dex' '-com' '/home/jfetter/se/symdroid/scripts/../symdroid20150125-30309-69bgnp' '-cls' 'symdroid/driver/drivers/IFMiniGeoFence' '-mtd' 'main' '-dat' '/home/jfetter/se/symdroid/scripts/../data' '-sl' '/home/jfetter/se/symdroid/scripts/../results/IFMiniGeoFence.json' '-ni-log' '/home/jfetter/se/symdroid/scripts/../results/IFMiniGeoFence-ni.smt2' '-ana' '-pkg' 'symdroid.sample.ifmini'12/12See the graphs
2015/02/13 at 18:26:53 Mohamed IGUERNLALAalt-ergo.opt 'ex3.mlw' '-timelimit' '1'11/11See the graphs
2015/01/13 at 22:32:03 David Baeldeconnect411/11See the graphs
2015/08/22 at 16:20:14 Fernandez Mauricioobigstore.opt '-no-fsync' '-port' '33333' 'PROFILE'10/10See the graphs
2016/02/25 at 00:13:17 S Gread_data.native9/9See the graphs
2015/07/22 at 20:26:33 Dimitrios EconomoutestBernstein.native9/9See the graphs
2015/07/07 at 02:59:10 Louis Gesbertopam-ci7/7See the graphs
2015/02/03 at 14:12:40 Boris Yakobowskiframa-c7/7See the graphs
2015/02/03 at 14:06:52 Boris Yakobowskitoplevel.opt7/7See the graphs
2015/01/27 at 12:53:55 Gautier Hattenbergerserver7/7See the graphs
2015/01/13 at 23:31:44 David Baeldeliquidsoap '-'7/7+1See the graphs
2016/03/10 at 08:51:59 Garay Felipemyocamlbuild '-no-plugin' '-classic-display' 'npm/tests.native'6/6See the graphs
2016/01/06 at 12:20:07 Alex Sutiivfana_import '--project-dir=/data/sutii/qt/1560/tests/qt4' '--design=1' '--run-id=1452078300.18581'5/5+1See the graphs
2015/01/27 at 13:06:55 Gautier Hattenbergersimsitl '-boot' '-norc'5/5See the graphs
2015/01/13 at 23:26:13 David Baeldeliquidsoap 'output.dummy(sine())'5/5See the graphs
2015/06/24 at 15:57:23 Andre Oliveiraframa-c4/4See the graphs
2015/06/24 at 15:22:48 Andre Oliveiraframa-c '-brat-profile' '-brat-random-seed' '10' '-brat-nb-tests' '1000000' '-brat-test-eval' '2'4/4See the graphs
2016/03/10 at 08:52:01 Garay Felipeocamlbuild '-classic-display' 'npm/tests.native'3/3See the graphs
2015/01/27 at 10:07:25 Ali-Firat Kilicanagram 'caniche' 'argent' 'Tanger'3/3See the graphs
2015/01/27 at 10:07:12 Ali-Firat Kilicanagram 'caniche'3/3See the graphs
2015/01/08 at 18:06:24 Foo Qlurxocamlopt.opt3/3+1See the graphs
2016/07/26 at 00:15:47 Test Testalt-ergo.opt 'Dekker.jessie/Dekker/Dekker-Jessie_program-WP_parameter__Dekker_safety_2.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching' '-timelimit' '30'2/2See the graphs
2016/07/26 at 00:14:42 Test Testalt-ergo.opt 'Dekker.jessie/Dekker/Dekker-Jessie_program-WP_parameter__Dekker_safety_1.why' '-use-fpa' '-prelude' 'fpa-theory-2016-07-21-18h00.why' '-no-tcp' '-nb-triggers' '1' '-no-Ematching'2/2See the graphs
2016/07/22 at 16:00:40 frédéric langalt-ergo.opt 'toto.mlw'2/2See the graphs
2016/07/21 at 15:47:48 Rob Stewartocamlopt.opt '-rectypes' '-c' 'balance.ml'2/2See the graphs
2016/01/22 at 16:30:24 Gregoire Lionnetocamlopt.opt '-c' 'prg_s2.ml'2/2See the graphs
2015/06/01 at 13:52:42 Pierre-Marie Pédrotcoqtop '-R' 'theories' 'Ssreflect' '-I' 'src' '-compile' 'theories/ssrald'2/2See the graphs
2015/06/01 at 13:51:11 Pierre-Marie Pédrotcoqtop '-R' 'theories' 'Ssreflect' '-I' 'src' '-compile' 'theories/bigop'2/2+1See the graphs
2015/04/14 at 13:26:17 Mohamed IGUERNLALAalt-ergo.opt 'test.mlw'2/2See the graphs
2016/07/21 at 15:32:49 Rob Stewartocamlopt.opt '-rectypes' '-c' 'Michaelson.ml'1/1See the graphs
2016/01/22 at 16:18:17 Gregoire Lionnetocamlopt.opt '-c' 'prg_s.ml'1/1See the graphs
2016/01/21 at 16:07:05 Alex Sutiivfana_import '--project-dir=/data/sutii/qt/1560/tests/qt4' '--design=1' '--run-id=1453308327.8239' '--run-id=1453308665.9429' '--run-id=1453309824.10198' '--run-id=1453319592.39918' '--run-id=1453307981.8013' '--run-id=1453309323.10037' '--run-id=1453309384.10074' '--run-id=1453319371.39829' '--run-id=1453319233.39782' '--run-id=1453317217.39463' '--run-id=1453311756.38930' '--run-id=1453309311.10025' '--run-id=1453319621.39952' '--run-id=1453308692.9791' '--run-id=1453310307.10416' '--run-id=1453319246.39793' '--run-id=1453307950.7998' '--run-id=1453310087.10298' '--run-id=1453319470.39891' '--run-id=1453319329.39817' '--run-id=1453308998.9953' '--run-id=1453319906.39989' '--run-id=1453309751.10147' '--run-id=1453309341.10062' '--run-id=1453308404.8295' '--run-id=1453310077.10286' '--run-id=1453317188.39438' '--run-id=1453310592.10472' '--run-id=1453319196.39697' '--run-id=1453319130.39643' '--run-id=1453310286.10392' '--run-id=1453310264.10357' '--run-id=1453308286.8056' '--run-id=1453309719.10135' '--run-id=1453319159.39657' '--run-id=1453308683.9780' '--run-id=1453310274.10381' '--run-id=1453317207.39451' '--run-id=1453308360.8251' '--run-id=1453311721.38255' '--run-id=1453309954.10236' '--run-id=1453309960.10248' '--run-id=1453319600.39929' '--run-id=1453311768.38946' '--run-id=1453319170.39670' '--run-id=1453319205.39725' '--run-id=1453309016.9965' '--run-id=1453309291.10012' '--run-id=1453308736.9866' '--run-id=1453309841.10209' '--run-id=1453308453.8341' '--run-id=1453309766.10160' '--run-id=1453308457.8353' '--run-id=1453319031.39614' '--run-id=1453308388.8276' '--run-id=1453308561.8596' '--run-id=1453307695.7933' '--run-id=1453319200.39709' '--run-id=1453308992.9942' '--run-id=1453307715.7971' '--run-id=1453310645.10485' '--run-id=1453319376.39841' '--run-id=1453311786.38959' '--run-id=1453309847.10221' '--run-id=1453310270.10369' '--run-id=1453319390.39864' '--run-id=1453309408.10086' '--run-id=1453319586.39907' '--run-id=1453319379.39853' '--run-id=1453309335.10051' '--run-id=1453309283.9998' '--run-id=1453310297.10405' '--run-id=1453309979.10270' '--run-id=1453319916.40001' '--run-id=1453308724.9839' '--run-id=1453310106.10324' '--run-id=1453307708.7960' '--run-id=1453310324.10427' '--run-id=1453310337.10439' '--run-id=1453309802.10185' '--run-id=1453319308.39805' '--run-id=1453319223.39771' '--run-id=1453308479.8377' '--run-id=1453319610.39940' '--run-id=1453319174.39683' '--run-id=1453309713.10122' '--run-id=1453308952.9904' '--run-id=1453308962.9916' '--run-id=1453310676.10498' '--run-id=1453312665.39080' '--run-id=1453308972.9929' '--run-id=1453308378.8263' '--run-id=1453319922.40014' '--run-id=1453319211.39736' '--run-id=1453308707.9814' '--run-id=1453319215.39748' '--run-id=1453319219.39759' '--run-id=1453309968.10259' '--run-id=1453310124.10338' '--run-id=1453308467.8365'1/1+1See the graphs
2015/12/26 at 22:39:09 Szymon Pajzertocp-memprof '--load' '2792' '--per-root' '520'1/1See the graphs
2015/07/22 at 14:09:23 Jérôme Vouillonocsidbm.opt 'local/var/data/bs/ocsipersist'1/1See the graphs
2015/04/26 at 03:31:34 Cole Schlesingerbenchmark.native 'learning' '20' 'mc'1/1See the graphs
2015/03/11 at 14:35:49 Couderc PIerrickcafc.asm 'examples/tyfun.fc'1/1See the graphs
2015/02/16 at 15:08:17 Fabrice Le Fessanttest1/1See the graphs
2015/02/13 at 21:41:35 Edouard Evangelistiocamlopt.opt 'unix.cmxa' 'str.cmxa' '-p' '-o' 'test'1/1See the graphs
2015/02/13 at 21:35:23 Edouard Evangelistiocamlopt.opt 'unix.cmxa' 'str.cmxa' '-p' '-o' 'test.ml'1/1See the graphs
2015/02/03 at 18:14:24 Boris Yakobowskiocamlopt.opt '-shared' '-o' './.frama-c/Frama_c_journal.cmxs' '-w' 'Ly' '-warn-error' 'A' '-I' '/home/boris/lib/frama-c' '-I' '/home/boris/lib/frama-c/plugins' '-I' './.frama-c' './.frama-c/frama_c_journal.ml'1/1+1See the graphs
2015/01/27 at 10:10:17 Ali-Firat Kilicocamlopt '-o' 'speed' 'unix.cmxa' 'speed.ml'1/1See the graphs
2015/01/27 at 10:03:41 Ali-Firat Kilicocamlopt.opt '-o' 'anagram' 'anagram.ml'1/1See the graphs
2015/01/13 at 22:53:01 David Baeldeplayer_test.native1/1See the graphs
2015/01/13 at 22:50:22 David Baeldescript_test.native1/1See the graphs
2015/01/07 at 14:58:40 Louis Gesbertopam1/1See the graphs