detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1020.smt2 (content) unsat unsat 0.531s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl102.smt2 (content) unsat unsat 0.931s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1019.smt2 (content) unsat unsat 0.801s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1018.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1017.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1016.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1015.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1014.smt2 (content) unsat unsat 0.213s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1013.smt2 (content) unsat unsat 0.309s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1012.smt2 (content) unsat unsat 0.241s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1011.smt2 (content) unsat unsat 0.296s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1010.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl101.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1009.smt2 (content) unsat unsat 0.133s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1008.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1007.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1006.smt2 (content) unsat unsat 0.624s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1005.smt2 (content) unsat unsat 0.384s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1004.smt2 (content) unsat unsat 0.366s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1003.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1002.smt2 (content) unsat unsat 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1001.smt2 (content) unsat unsat 0.260s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1000.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl100.smt2 (content) unsat unsat 0.203s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl099.smt2 (content) unsat unsat 0.229s