detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl749.smt2 (content) unsat unsat 0.193s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl748.smt2 (content) unsat unsat 5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl748.smt2 (content) unsat unsat 0.327s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl747.smt2 (content) unsat unsat 9.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl747.smt2 (content) unsat unsat 0.415s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl746.smt2 (content) unsat unsat 9.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl746.smt2 (content) unsat unsat 0.343s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl745.smt2 (content) unsat unsat 2.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl745.smt2 (content) unsat unsat 0.162s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl744.smt2 (content) unsat unsat 7.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl744.smt2 (content) unsat unsat 0.282s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl743.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl743.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl742.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl742.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl741.smt2 (content) unsat unsat 2.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl741.smt2 (content) unsat unsat 0.144s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl740.smt2 (content) unsat unsat 3.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl740.smt2 (content) unsat unsat 0.279s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl739.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl739.smt2 (content) unsat unsat 0.147s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl738.smt2 (content) unsat unsat 1.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl738.smt2 (content) unsat unsat 0.166s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl737.smt2 (content) timeout unsat 12.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl737.smt2 (content) unsat unsat 0.658s