detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl849.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl848.smt2 (content) unknown unsat 10.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl848.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl847.smt2 (content) timeout unsat 11.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl847.smt2 (content) unsat unsat 0.568s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl846.smt2 (content) timeout unsat 12s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl846.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl845.smt2 (content) timeout unsat 12s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl845.smt2 (content) unsat unsat 0.752s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl844.smt2 (content) timeout unsat 12s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl844.smt2 (content) unsat unsat 0.834s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl843.smt2 (content) unknown unsat 10.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl843.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl842.smt2 (content) unsat unsat 4.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl842.smt2 (content) unsat unsat 0.259s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl841.smt2 (content) unsat unsat 3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl841.smt2 (content) unsat unsat 0.167s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl840.smt2 (content) unsat unsat 3.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl840.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl839.smt2 (content) unsat unsat 3.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl839.smt2 (content) unsat unsat 0.128s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl838.smt2 (content) unsat unsat 9.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl838.smt2 (content) unsat unsat 0.259s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl837.smt2 (content) unsat unsat 5.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl837.smt2 (content) unsat unsat 0.175s