# satsearch.py 11 10 (rerun from a clean copy; CaDiCaL 1.9.5; uncertified)
{"n": 11, "D": 10, "result": "UNSAT", "iterations": 546, "time": 1601.0, "clauses": 194144, "vars": 3806, "options": {"orientable": false, "closed": false, "bdryXY": false, "boundary": false, "sym": true, "maxtri": null}}
real 1601.04
user 1594.34
sys 4.07

# satsearch.py 11 10 --orientable (rerun from a clean copy; CaDiCaL 1.9.5; uncertified)
{"n": 11, "D": 10, "result": "UNSAT", "iterations": 423, "time": 2469.5, "clauses": 197624, "vars": 3971, "options": {"orientable": true, "closed": false, "bdryXY": false, "boundary": false, "sym": true, "maxtri": null}}
real 2469.55
user 2458.42
sys 7.85
