job id = 7772
job space id = 133990
There are too many job pairs in this space hierarchy to efficiently compile them into stats and graphs. Please navigate to a subspace with fewer pairs
There are too many job pairs in this space to display. Please navigate to a subspace with fewer pairs.
Post Processor counting (6) test (9) test2 (10) test3 (11) test4 (12) test5 (13) test6 (14) CoCo 2013 (15) kernel (25) corrected solver output (29) output solver with error detection (32) true_false (41) plain.2 (163) SyGuS PostProcessor 3600 (170) ceta.9 (172) SZS (174) SyGuS-COMP15 PostProcessor (227) plain.3 (234) ceta-2.20-2 (235) CoCo 2015 (237) VampireStats4Suda (238) drat (257) informer (258) checksat (265) checkproof (266) proc_smtout_test (269) proc_grmr_test (270) echo (316) plain.4 (317) ceta-2.27-3 (318) ceta-2.27.4 (323) CoCo 2016 (324) SyGuS PostProcessor 2017-06-15 (345) SyGuS PostProcessor 2017-06-15-10-10 (346) pipeline_postproc (354) plain.5 (355) ceta-2.30-0 (358) ceta-2.30-1 (359) ceta-2.30-2 (361) ceta-2.31-0 (362) plain.6 (363) CoCo 2017 (364) SyGuSComp 2018 PostProc (372) CoCo 2018 (390) SyGuSComp18 Postproc (391) ceta-2.33 (399) CoCo 2019 (530) CeTA 2.35 for runsolver (531) ijcar-fscd2020 (628) plain.7 (649) ceta-2.39-runsolver-notimestamp (651) checkSatUnsVerif (653) ceta-postproc-2.39.0 (654) ceta-postproc.4 (655) post-checksat (659) gbdhash (702) ceta-2.40 (721) ceta-2.40 with timeout (723) smt2szs (728) ceta-2.42 (758) ceta-2.45 (780)
Stage: 1
all.q (1) long.q (88797) new.q (181493) satcomp.q (220893)
