detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl199.smt2 (content) unsat unsat 0.453s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl198.smt2 (content) timeout unsat 12s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl198.smt2 (content) unsat unsat 0.667s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl197.smt2 (content) unsat unsat 3.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl197.smt2 (content) unsat unsat 0.337s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl196.smt2 (content) timeout unsat 12.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl196.smt2 (content) unsat unsat 0.841s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl195.smt2 (content) timeout unsat 12.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl195.smt2 (content) unsat unsat 0.793s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl194.smt2 (content) unsat unsat 8.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl194.smt2 (content) unsat unsat 0.834s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl193.smt2 (content) unsat unsat 7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl193.smt2 (content) unsat unsat 0.758s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl192.smt2 (content) unsat unsat 4.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl192.smt2 (content) unsat unsat 0.531s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl191.smt2 (content) unsat unsat 9.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl191.smt2 (content) unsat unsat 0.646s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl190.smt2 (content) unsat unsat 3.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl190.smt2 (content) unsat unsat 0.506s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl189.smt2 (content) unsat unsat 2.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl189.smt2 (content) unsat unsat 0.339s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl188.smt2 (content) unsat unsat 2.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl188.smt2 (content) unsat unsat 0.280s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl187.smt2 (content) unsat unsat 4.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl187.smt2 (content) unsat unsat 0.233s