detailed results (188 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2(content)unknownunsat11.9s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn565.smt2(content)unknownunsat10.9s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2(content)unknownunsat10.7s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2(content)unknownunsat10.4s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn378.smt2(content)unknownunsat10.4s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn376.smt2(content)unknownunsat10.3s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn350.smt2(content)unknownunsat10.8s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn332.smt2(content)unknownunsat10.8s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2(content)unknownunsat10.2s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd036.smt2(content)unknownunsat10.0s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd035.smt2(content)unknownunsat10.4s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd013.smt2(content)unknownunsat10.5s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ018_size5.smt2(content)unknownunsat10.6s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/PEQ/PEQ003_size7.smt2(content)unknownunsat13.7s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ041_size9.smt2(content)unknownunsat10.0s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ032_size4.smt2(content)unknownunsat10.8s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ031_size7.smt2(content)unknownunsat11.2s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ027_size11.smt2(content)unknownunsat11.5s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/NEQ/NEQ006_size6.smt2(content)unknownunsat11.3s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.2.prop1_ab_br_max.smt2(content)unknownunsat10.0s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.1.prop1_ab_cti_max.smt2(content)unknownsat13.8s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.4.prop1_ab_cti_max.smt2(content)unknownsat10.3s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_cti_max.smt2(content)unknownsat10.6s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_br_max.smt2(content)unknownsat13.7s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.4.prop1_ab_br_max.smt2(content)unknownsat10.2s