detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen046.smt2 (content) sat sat 7.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen046.smt2 (content) sat sat 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen045.smt2 (content) sat sat 9.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen045.smt2 (content) sat sat 0.100s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen044.smt2 (content) timeout sat 13.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen044.smt2 (content) sat sat 0.743s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen043.smt2 (content) timeout sat 12.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen043.smt2 (content) sat sat 0.647s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen042.smt2 (content) sat sat 5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen042.smt2 (content) sat sat 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen041.smt2 (content) sat sat 4.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen041.smt2 (content) sat sat 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen040.smt2 (content) sat sat 5.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen040.smt2 (content) sat sat 0.220s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen039.smt2 (content) sat sat 7.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen039.smt2 (content) sat sat 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen038.smt2 (content) sat sat 6.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen038.smt2 (content) sat sat 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen037.smt2 (content) sat sat 4.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen037.smt2 (content) sat sat 0.118s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen036.smt2 (content) timeout sat 16.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen036.smt2 (content) sat sat 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen035.smt2 (content) sat sat 5.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen035.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_repgen034.smt2 (content) sat sat 5.4s