detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl201.smt2 (content) unsat unsat 0.251s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl201.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unsat 0.161s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unsat 0.328s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unsat 0.243s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unsat 0.292s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl195.smt2 (content) unsat unsat 0.153s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl195.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl194.smt2 (content) unsat unsat 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl194.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl193.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl193.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl192.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl192.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl191.smt2 (content) unsat unsat 0.139s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl191.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl190.smt2 (content) unsat unsat 0.142s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl190.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl189.smt2 (content) unsat unsat 0.142s