detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl009.smt2 (content) unsat unsat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl008.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl007.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl006.smt2 (content) unsat unsat 0.147s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl005.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl004.smt2 (content) unsat unsat 0.164s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl003.smt2 (content) unsat unsat 0.197s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl002.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl001.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_brn_sk016.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_brn_sk015.smt2 (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_brn_sk014.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_brn_sk011.smt2 (content) unsat unsat 0.115s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_brn016.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_brn015.smt2 (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_brn014.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_brn011.smt2 (content) unsat unsat 0.138s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/gensys_icl_sk013.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/gensys_icl_sk012.smt2 (content) unsat unsat 0.253s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/gensys_icl_sk011.smt2 (content) unsat unsat 0.234s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) unsat unsat 0.144s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/gensys_icl_sk009.smt2 (content) unsat unsat 0.299s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/gensys_icl_sk008.smt2 (content) unsat unsat 0.160s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/gensys_icl_sk007.smt2 (content) unsat unsat 0.209s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/gensys_icl_sk006.smt2 (content) unsat unsat 0.207s