Tetravex.jmc
Download:
Sample Run
------------------------- | | | | | | | | 3 | | | | ------------------------- | | | | | | | | 2 | | | | ------------------------- | | | | | | | | 1 | | | | ------------------------- A B C ------------------------------------------------------------------------- | 6 | 8 | 6 | 1 | 8 | 8 | 7 | 9 | 3 | | 7 8 | 5 2 | 2 7 | 8 6 | 3 1 | 7 5 | 1 3 | 1 7 | 2 1 | | 7 | 1 | 3 | 8 | 3 | 6 | 6 | 6 | 4 | ------------------------------------------------------------------------- P1 P2 P3 P4 P5 P6 P7 P8 P9 ok. > Tvex satisfy win using put1. looking 1 time unit ahead (9 possible worlds) looking 2 time unit ahead (48 possible worlds) looking 3 time unit ahead (175 possible worlds) looking 4 time unit ahead (356 possible worlds) looking 5 time unit ahead (204 possible worlds) looking 6 time unit ahead (47 possible worlds) looking 7 time unit ahead (11 possible worlds) looking 8 time unit ahead (2 possible worlds) looking 9 time unit ahead (1 possible worlds) satisfied at time: 9 satisfied by: [ Tvex put1 B2 , Tvex put1 C3 , Tvex put1 A2 , Tvex put1 C2 , Tvex put1 C1 , Tvex put1 B3 , Tvex put1 B1 , Tvex put1 A3 , Tvex put1 A1 ] ------------------------- | 9 | 8 | 8 | | 1 7 | 7 5 | 5 2 | 3 | 6 | 6 | 1 | ------------------------- | 6 | 6 | 1 | | 2 7 | 7 8 | 8 6 | 2 | 3 | 7 | 8 | ------------------------- | 3 | 7 | 8 | | 2 1 | 1 3 | 3 1 | 1 | 4 | 6 | 3 | ------------------------- A B C ------------------------------------------------------------------------- | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ------------------------------------------------------------------------- P1 P2 P3 P4 P5 P6 P7 P8 P9 ok. [ query time: 13 sec ]
Page last modified on January 10, 2009, at 04:28 AM
simplaPoweredBy
Set in config.php to your own copyright notice