detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unsat 0.308s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unsat 0.336s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unsat 0.134s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unsat 0.195s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unsat 0.215s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unsat 0.222s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unsat 0.330s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unsat 0.274s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl689.smt2 (content) unsat unsat 0.338s