root
file
detailed [5850..5874]
prev
next
detailed results (33316 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1363.fof.smt2
(content)
warn
ok
0.028s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1362.fof.smt2
(content)
warn
ok
0.026s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1361.fof.smt2
(content)
warn
ok
0.028s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1360.fof.smt2
(content)
warn
ok
0.032s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1359.fof.smt2
(content)
warn
ok
0.033s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1358.fof.smt2
(content)
warn
ok
0.041s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1357.fof.smt2
(content)
warn
ok
0.025s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1356.fof.smt2
(content)
warn
ok
0.025s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1355.fof.smt2
(content)
warn
ok
0.035s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1354.fof.smt2
(content)
warn
ok
0.047s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1353.fof.smt2
(content)
warn
ok
0.025s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1352.fof.smt2
(content)
warn
ok
0.029s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1351.fof.smt2
(content)
warn
ok
0.035s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1350.fof.smt2
(content)
warn
ok
0.033s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1349.fof.smt2
(content)
warn
ok
0.024s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1348.fof.smt2
(content)
warn
ok
0.029s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1347.fof.smt2
(content)
warn
ok
0.028s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1346.fof.smt2
(content)
warn
ok
0.025s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1345.fof.smt2
(content)
warn
ok
0.052s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1344.fof.smt2
(content)
warn
ok
0.026s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1343.fof.smt2
(content)
warn
ok
0.042s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1342.fof.smt2
(content)
warn
ok
0.036s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1341.fof.smt2
(content)
warn
ok
0.036s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1340.fof.smt2
(content)
warn
ok
0.038s
dolmen
/home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1339.fof.smt2
(content)
warn
ok
0.032s