detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413946/gensys_brn005.smt2 (content) sat sat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413946/gensys_brn005.smt2 (content) sat sat 0.300s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413945/gensys_brn004.smt2 (content) sat sat 6.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413945/gensys_brn004.smt2 (content) sat sat 0.294s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413944/gensys_brn003.smt2 (content) sat sat 0.495s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413944/gensys_brn003.smt2 (content) sat sat 0.168s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413943/gensys_brn002.smt2 (content) sat sat 0.452s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413943/gensys_brn002.smt2 (content) sat sat 0.093s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413942/gensys_brn001.smt2 (content) sat sat 0.829s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413942/gensys_brn001.smt2 (content) sat sat 0.094s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413941/dead_dnd_sk002.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413941/dead_dnd_sk002.smt2 (content) unsat unsat 0.120s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413940/dead_dnd_sk001.smt2 (content) unsat unsat 5.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413940/dead_dnd_sk001.smt2 (content) unsat unsat 0.286s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413939/dead_dnd002.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413939/dead_dnd002.smt2 (content) unsat unsat 5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413938/dead_dnd001.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/413938/dead_dnd001.smt2 (content) unsat unsat 6.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413937/iso_icl999.smt2 (content) unsat unsat 0.147s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413937/iso_icl999.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413936/iso_icl998.smt2 (content) unsat unsat 0.205s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413936/iso_icl998.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413935/iso_icl997.smt2 (content) unsat unsat 0.171s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413935/iso_icl997.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413934/iso_icl996.smt2 (content) unsat unsat 0.160s