detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl711.smt2 (content) unsat unsat 10.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl711.smt2 (content) unsat unsat 0.755s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl710.smt2 (content) unsat unsat 0.643s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl710.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl709.smt2 (content) unsat unsat 9.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl709.smt2 (content) unsat unsat 0.212s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl708.smt2 (content) unsat unsat 3.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl708.smt2 (content) unsat unsat 0.126s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl707.smt2 (content) timeout unsat 12.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl707.smt2 (content) unsat unsat 0.396s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl706.smt2 (content) unsat unsat 0.996s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl706.smt2 (content) unsat unsat 0.523s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl705.smt2 (content) timeout unsat 12.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl705.smt2 (content) unsat unsat 0.716s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unsat 1.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unsat 0.695s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) unknown unsat 11.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) unsat unsat 0.399s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) unknown unsat 11.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) unsat unsat 0.747s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) unsat unsat 4.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) unsat unsat 0.739s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) timeout unsat 13.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) unsat unsat 0.966s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl699.smt2 (content) timeout unsat 12.3s