detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl361.smt2 (content) unsat unsat 1.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl361.smt2 (content) unsat unsat 0.125s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl360.smt2 (content) unsat unsat 5.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl360.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl359.smt2 (content) unsat unsat 5.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl359.smt2 (content) unsat unsat 0.390s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl358.smt2 (content) unsat unsat 2.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl358.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl357.smt2 (content) unsat unsat 4.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl357.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl356.smt2 (content) unsat unsat 3.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl356.smt2 (content) unsat unsat 0.225s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl355.smt2 (content) unsat unsat 3.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl355.smt2 (content) unsat unsat 0.180s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl354.smt2 (content) unsat unsat 2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl354.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl353.smt2 (content) unsat unsat 5.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl353.smt2 (content) unsat unsat 0.152s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl352.smt2 (content) unsat unsat 5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl352.smt2 (content) unsat unsat 0.231s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl351.smt2 (content) unsat unsat 6.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl351.smt2 (content) unsat unsat 0.228s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl350.smt2 (content) unsat unsat 2.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl350.smt2 (content) unsat unsat 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl349.smt2 (content) unsat unsat 10.2s