detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl324.smt2 (content) unsat unsat 0.992s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl323.smt2 (content) timeout unsat 13.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl323.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl322.smt2 (content) unknown unsat 13.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl322.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl321.smt2 (content) unsat unsat 1.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl321.smt2 (content) unsat unsat 0.178s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl320.smt2 (content) timeout unsat 11.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl320.smt2 (content) unsat unsat 0.866s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl319.smt2 (content) timeout unsat 12.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl319.smt2 (content) unsat unsat 0.884s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl318.smt2 (content) unsat unsat 7.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl318.smt2 (content) unsat unsat 0.202s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl317.smt2 (content) unknown unsat 16.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl317.smt2 (content) unsat unsat 0.951s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl316.smt2 (content) timeout unsat 12.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl316.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl315.smt2 (content) unsat unsat 1.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl315.smt2 (content) unsat unsat 0.128s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl314.smt2 (content) timeout unsat 12.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl314.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl313.smt2 (content) unsat unsat 7.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl313.smt2 (content) unsat unsat 0.749s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl312.smt2 (content) timeout unsat 11.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl312.smt2 (content) unsat unsat 0.546s