root
file
detailed [1850..1874]
prev
next
detailed results (3730 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1035.smt2
(content)
unsat
unsat
0.131s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1032.smt2
(content)
unsat
unsat
0.232s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn103.smt2
(content)
unsat
unsat
0.215s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1029.smt2
(content)
unsat
unsat
0.111s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1028.smt2
(content)
unsat
unsat
0.137s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1027.smt2
(content)
unsat
unsat
0.107s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1026.smt2
(content)
unsat
unsat
0.352s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1023.smt2
(content)
unsat
unsat
0.259s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1022.smt2
(content)
unsat
unsat
0.204s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1020.smt2
(content)
unsat
unsat
0.140s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1016.smt2
(content)
unsat
unsat
0.277s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1014.smt2
(content)
unsat
unsat
0.203s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1012.smt2
(content)
unsat
unsat
0.335s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1006.smt2
(content)
unsat
unsat
0.277s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1005.smt2
(content)
unsat
unsat
0.151s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1004.smt2
(content)
unsat
unsat
0.147s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1002.smt2
(content)
unsat
unsat
0.120s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn094.smt2
(content)
unsat
unsat
0.237s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn089.smt2
(content)
unsat
unsat
0.184s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn087.smt2
(content)
unsat
unsat
0.185s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn086.smt2
(content)
unsat
unsat
0.141s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn085.smt2
(content)
unsat
unsat
0.197s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn084.smt2
(content)
unsat
unsat
0.127s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn083.smt2
(content)
unsat
unsat
0.106s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn082.smt2
(content)
unsat
unsat
0.120s