Fix wall time dimension in sat examples

WallTime is in second not millisecond...
2019-01-14 09:56:30 +01:00
parent acf34ee59b
commit 0465276e14
12 changed files with 12 additions and 12 deletions
--- a/examples/python/gate_scheduling_sat.py
+++ b/examples/python/gate_scheduling_sat.py
@@ -129,7 +129,7 @@ def main():
        print('Statistics')
        print('  - conflicts : %i' % solver.NumConflicts())
        print('  - branches  : %i' % solver.NumBranches())
-        print('  - wall time : %f ms' % solver.WallTime())
+        print('  - wall time : %f s' % solver.WallTime())


 if __name__ == '__main__':